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

Formal Language: 



Term 1: Term 2:

(subclass FluidContainer Container) Mid-level-ontology.kif 4678-4678 FluidContainer は Container の subclass では %n
(subclass BathTub FluidContainer) Mid-level-ontology.kif 2049-2049 BathTub は FluidContainer の subclass では %n
(subclass Bottle FluidContainer) Mid-level-ontology.kif 4688-4688 Bottle は FluidContainer の subclass では %n
(subclass DrinkingCup FluidContainer) Mid-level-ontology.kif 4710-4710 DrinkingCup は FluidContainer の subclass では %n
(subclass SwimmingPool FluidContainer) Mid-level-ontology.kif 4721-4721 SwimmingPool は FluidContainer の subclass では %n
(subclass WhirlpoolTub FluidContainer) Mid-level-ontology.kif 25277-25277 WhirlpoolTub は FluidContainer の subclass では %n
(subclass FishTank FluidContainer) Mid-level-ontology.kif 29487-29487 FishTank は FluidContainer の subclass では %n
(subclass Cask FluidContainer) Food.kif 3577-3577 Cask は FluidContainer の subclass では %n
(subclass GasTank FluidContainer) Cars.kif 985-985 GasTank は FluidContainer の subclass では %n
(subclass OilPan FluidContainer) Cars.kif 3315-3315 OilPan は FluidContainer の subclass では %n
(subclass Balloon FluidContainer) Cars.kif 3584-3584 Balloon は FluidContainer の 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