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 e' uma sub-classe de Artefato Estacionario

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 673-673 BaseballField e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1157-1157 BowlingFacility e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 590-590 BoxingRing e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26796-26796 ExerciseCenter e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 918-918 GolfCourse e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 903-903 GolfFacility e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 580-580 IceSkatingRink e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1323-1323 RacquetballCourt e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1089-1089 SkiingFacility e' uma sub-classe de SportsFacility
No TPTP formula. May not be expressible in strict first order. Sports.kif 875-875 TennisCourt e' uma sub-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