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

Formal Language: 



Term 1: Term 2:

(subclass SportsFacility StationaryArtifact) Mid-level-ontology.kif 7033-7033 SportsFacility は 固定アーチファクト の subclass では %n
(subclass IceSkatingRink SportsFacility) Sports.kif 580-580 IceSkatingRink は SportsFacility の subclass では %n
(subclass BoxingRing SportsFacility) Sports.kif 590-590 BoxingRing は SportsFacility の subclass では %n
(subclass BaseballField SportsFacility) Sports.kif 673-673 BaseballField は SportsFacility の subclass では %n
(subclass TennisCourt SportsFacility) Sports.kif 875-875 TennisCourt は SportsFacility の subclass では %n
(subclass GolfFacility SportsFacility) Sports.kif 903-903 GolfFacility は SportsFacility の subclass では %n
(subclass GolfCourse SportsFacility) Sports.kif 918-918 GolfCourse は SportsFacility の subclass では %n
(subclass SkiingFacility SportsFacility) Sports.kif 1089-1089 SkiingFacility は SportsFacility の subclass では %n
(subclass BowlingFacility SportsFacility) Sports.kif 1157-1157 BowlingFacility は SportsFacility の subclass では %n
(subclass RacquetballCourt SportsFacility) Sports.kif 1323-1323 RacquetballCourt は SportsFacility の subclass では %n
(subclass ExerciseCenter SportsFacility) Mid-level-ontology.kif 26796-26796 ExerciseCenter は SportsFacility の subclass では %n


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