Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7528-7533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7524-7524 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Sports.kif 503-503 Basketball team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 505-505 Volleyball team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 507-507 Soccer team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 509-509 Rugby team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 511-511 Lacrosse team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 513-513 Car racing team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 514-514 Motorcycle racing team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 750-750 Baseball team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 843-843 Football team is a subclass of sports team


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