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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Covering

Sigma KEE - Covering
Covering

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3037-3038
No TPTP formula. May not be expressible in strict first order. Merge.kif 11416-11418
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1805-1806
No TPTP formula. May not be expressible in strict first order. Merge.kif 11414-11414 子類 Covering and Putting

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11394-11394 不相交的 Uncovering and Covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3182-3182 子類 繪畫 and Covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12443-12443 子類 TopicalApplication and Covering
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1123-1123
No TPTP formula. May not be expressible in strict first order. english_format.kif 1463-1463
No TPTP formula. May not be expressible in strict first order. french_format.kif 801-801
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 333-333
No TPTP formula. May not be expressible in strict first order. terms-it.txt 336-336
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2485-2485
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 753-753
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 338-338
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 372-372
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 822-822
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 337-337

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 507-507 路易氏劑 biochemical 病毒解毒製劑 二巰基丙醇 對於 Covering

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3169-3180
No TPTP formula. May not be expressible in strict first order. WMD.kif 1315-1317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5690-5698
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17998-18005
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12159-12161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12163-12176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4011-4017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3131-3141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3262-3273
No TPTP formula. May not be expressible in strict first order. Cars.kif 3511-3524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5349-5357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15217-15225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4131-4139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29730-29739


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