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

Formal Language: 



Term 1: Term 2:

(subclass Container Holder) Mid-level-ontology.kif 4444-4444 Container は Holder の subclass では %n
(subclass ProjectileShell Container) Mid-level-ontology.kif 1121-1121 ProjectileShell は Container の subclass では %n
(subclass Holster Container) Mid-level-ontology.kif 1654-1654 Holster は Container の subclass では %n
(subclass Wastebasket Container) Mid-level-ontology.kif 1666-1666 Wastebasket は Container の subclass では %n
(subclass Oven Container) Mid-level-ontology.kif 2318-2318 Oven は Container の subclass では %n
(subclass Refrigerator Container) Mid-level-ontology.kif 2344-2344 Refrigerator は Container の subclass では %n
(subclass PotOrPan Container) Mid-level-ontology.kif 2349-2349 PotOrPan は Container の subclass では %n
(subclass SafeContainer Container) Mid-level-ontology.kif 2721-2721 SafeContainer は Container の subclass では %n
(subclass ChestOrCabinet Container) Mid-level-ontology.kif 4150-4150 ChestOrCabinet は Container の subclass では %n
(subclass Coffin Container) Mid-level-ontology.kif 4154-4154 Coffin は Container の subclass では %n
(subclass Compartment Container) Mid-level-ontology.kif 4164-4164 Compartment は Container の subclass では %n
(subclass Mailbox Container) Mid-level-ontology.kif 4176-4176 Mailbox は Container の subclass では %n
(subclass Bag Container) Mid-level-ontology.kif 4454-4454 Bag は Container の subclass では %n
(subclass Box Container) Mid-level-ontology.kif 4472-4472 Box は Container の subclass では %n
(subclass PorousContainer Container) Mid-level-ontology.kif 4515-4515 PorousContainer は Container の subclass では %n
(subclass Envelope Container) Mid-level-ontology.kif 4668-4668 Envelope は Container の subclass では %n
(subclass TravelContainer Container) Mid-level-ontology.kif 4673-4673 TravelContainer は Container の subclass では %n
(subclass FluidContainer Container) Mid-level-ontology.kif 4678-4678 FluidContainer は Container の subclass では %n
(subclass Pericardium Container) Mid-level-ontology.kif 11388-11388 Pericardium は Container の subclass では %n
(subclass ProductPackage Container) Economy.kif 5155-5155 ProductPackage は Container の 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