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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportsFacility

 Sigma KEE - SportsFacility
SportsFacility

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7034-7036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7033-7033 SportsFacility est une sous-classe de artefact stationnaire

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 673-673 BaseballField est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1157-1157 BowlingFacility est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 590-590 BoxingRing est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26796-26796 ExerciseCenter est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 918-918 GolfCourse est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 903-903 GolfFacility est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 580-580 IceSkatingRink est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1323-1323 RacquetballCourt est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1089-1089 SkiingFacility est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 875-875 TennisCourt est une sous-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54752-54752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54751-54751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54750-54750

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


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


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