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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportsFacility

Sigma KEE - SportsFacility
SportsFacility(sports facility)ballpark, park, squash_court, volleyball_court, wrestling_ring

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 Sports facility is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 673-673 Baseball field is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1157-1157 Bowling facility is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 590-590 Boxing ring is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26796-26796 Exercise center is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 918-918 Golf course is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 903-903 Golf facility is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 580-580 Ice skating rink is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1323-1323 Racquetball court is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 1089-1089 Skiing facility is a subclass of sports facility
No TPTP formula. May not be expressible in strict first order. Sports.kif 875-875 Tennis court is a subclass of sports facility
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