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

Formal Language: 



Term 1: Term 2:

(subclass SportsFacility StationaryArtifact) Mid-level-ontology.kif 7006-7006 体育设施 是 固定人工制品 的 subclass
(subclass IceSkatingRink SportsFacility) Sports.kif 580-580 IceSkatingRink 是 体育设施 的 subclass
(subclass BoxingRing SportsFacility) Sports.kif 590-590 BoxingRing 是 体育设施 的 subclass
(subclass BaseballField SportsFacility) Sports.kif 673-673 棒球场 是 体育设施 的 subclass
(subclass TennisCourt SportsFacility) Sports.kif 875-875 TennisCourt 是 体育设施 的 subclass
(subclass GolfFacility SportsFacility) Sports.kif 903-903 GolfFacility 是 体育设施 的 subclass
(subclass GolfCourse SportsFacility) Sports.kif 918-918 GolfCourse 是 体育设施 的 subclass
(subclass SkiingFacility SportsFacility) Sports.kif 1088-1088 SkiingFacility 是 体育设施 的 subclass
(subclass BowlingFacility SportsFacility) Sports.kif 1156-1156 BowlingFacility 是 体育设施 的 subclass
(subclass RacquetballCourt SportsFacility) Sports.kif 1322-1322 RacquetballCourt 是 体育设施 的 subclass
(subclass ExerciseCenter SportsFacility) Mid-level-ontology.kif 26763-26763 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