Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ball

 Sigma KEE - Ball
Ball

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17036-17036
No TPTP formula. May not be expressible in strict first order. pictureList.kif 252-252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 32-32
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17035-17035 Ball e' uma sub-classe de GamePiece

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 346-346 BasketBall e' uma sub-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 1120-1120 BowlingBall e' uma sub-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 325-325 GolfBall e' uma sub-classe de Ball
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17042-17042 ShotBall e' uma sub-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 311-311 SoccerBall e' uma sub-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 347-347 TennisBall e' uma sub-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 345-345 VolleyBall e' uma sub-classe de Ball
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9672-9672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9671-9671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9670-9670

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17038-17040

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17133-17137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17122-17126


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners