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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 est une sous-classe de GamePiece

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 346-346 BasketBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 1120-1120 BowlingBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 325-325 GolfBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17042-17042 ShotBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 311-311 SoccerBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 347-347 TennisBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 345-345 VolleyBall est une sous-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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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