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


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