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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Water
Water(eau)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3362-3363
No TPTP formula. May not be expressible in strict first order. Merge.kif 14354-14355
No TPTP formula. May not be expressible in strict first order. pictureList.kif 83-83
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5885-5885 mixturePartType eau and SodiumLactate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31703-31703 roomTempState eau and Liquid
No TPTP formula. May not be expressible in strict first order. Merge.kif 14353-14353 Eau est une sous-classe de substance compos�e

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2847-2847 BrackishWater est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. Geography.kif 2730-2730 FreshWater est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. Geography.kif 2743-2743 GroundWater est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9003-9003 Ice est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. Food.kif 237-237 PurifiedWater est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. Weather.kif 2946-2946 Rain est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. Geography.kif 2820-2820 SeaWater est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25678-25678 Steam est une sous-classe de eau
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 961-961
No TPTP formula. May not be expressible in strict first order. english_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order. french_format.kif 638-638
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order. terms-it.txt 172-172
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2322-2322
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 174-174
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 206-206
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 659-659
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 173-173

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1075-1080
No TPTP formula. May not be expressible in strict first order. Geography.kif 2561-2567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25362-25372
No TPTP formula. May not be expressible in strict first order. Geography.kif 2907-2909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8809-8818

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9006-9010 Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8801-8807
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4107-4113
No TPTP formula. May not be expressible in strict first order. Merge.kif 14464-14469
No TPTP formula. May not be expressible in strict first order. Geography.kif 2509-2517
No TPTP formula. May not be expressible in strict first order. Geography.kif 2495-2507
No TPTP formula. May not be expressible in strict first order. Merge.kif 14170-14177
No TPTP formula. May not be expressible in strict first order. Merge.kif 14819-14824
No TPTP formula. May not be expressible in strict first order. Merge.kif 14826-14839
No TPTP formula. May not be expressible in strict first order. Weather.kif 2786-2798
No TPTP formula. May not be expressible in strict first order. Merge.kif 14619-14624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29543-29551
No TPTP formula. May not be expressible in strict first order. Geography.kif 6004-6010
No TPTP formula. May not be expressible in strict first order. Cars.kif 4970-4975
No TPTP formula. May not be expressible in strict first order. Merge.kif 11271-11276
No TPTP formula. May not be expressible in strict first order. Merge.kif 11247-11252
No TPTP formula. May not be expressible in strict first order. Food.kif 248-258
No TPTP formula. May not be expressible in strict first order. Weather.kif 1041-1054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25683-25691
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1809-1819
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2047-2053
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25340-25355
No TPTP formula. May not be expressible in strict first order. Sports.kif 1212-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3480-3489

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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