Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FluidContainer

 Sigma KEE - FluidContainer
FluidContainer

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4674-4675
No TPTP formula. May not be expressible in strict first order. pictureList.kif 55-55
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4673-4673 FluidContainer est une sous-classe de Container

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3569-3569 Balloon est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2042-2042 BathTub est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4683-4683 Bottle est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Food.kif 3577-3577 Cask est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4705-4705 DrinkingCup est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29538-29538 FishTank est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Cars.kif 985-985 GasTank est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Cars.kif 3300-3300 OilPan est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4716-4716 SwimmingPool est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25334-25334 WhirlpoolTub est une sous-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24368-24368
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24367-24367
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24366-24366

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4677-4681

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1519-1529
No TPTP formula. May not be expressible in strict first order. Sports.kif 1212-1224


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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