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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SportsFacility
SportsFacility

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7006-7008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7005-7005 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 26751-26751 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 54750-54750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54749-54749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54748-54748

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


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


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