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 7007-7009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7006-7006 子類 體育設施 and StationaryArtifact

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 673-673 子類 棒球場 and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 1156-1156 子類 BowlingFacility and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 590-590 子類 BoxingRing and 體育設施
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26763-26763 子類 ExerciseCenter and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 918-918 子類 GolfCourse and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 903-903 子類 GolfFacility and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 580-580 子類 IceSkatingRink and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 1322-1322 子類 RacquetballCourt and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 1088-1088 子類 SkiingFacility and 體育設施
No TPTP formula. May not be expressible in strict first order. Sports.kif 875-875 子類 TennisCourt and 體育設施
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 7011-7017


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