SUMO   View all facts   Glossary   Help
unparented > Attack
Next unparentedattribute    Upunparented    Previous unparentedagent   

Attack comparison table
Subject have axiom
unparented 
Attack
(=>
(instance ?BATTLE Battle)
(exists (?ATTACK)
(and
(instance ?ATTACK Attack)
(subProcess ?ATTACK ?BATTLE))))

Next unparentedattribute    Upunparented    Previous unparentedagent