Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7005-7005 体育设施固定人工制品subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 580-580 IceSkatingRink体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 590-590 BoxingRing体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 673-673 棒球场体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 875-875 TennisCourt体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 903-903 GolfFacility体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 918-918 GolfCourse体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 1089-1089 SkiingFacility体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 1157-1157 BowlingFacility体育设施subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 1323-1323 RacquetballCourt体育设施subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26751-26751 ExerciseCenter体育设施subclass


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