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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerOutputDevice

Sigma KEE - Maintaining
Maintaining

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3145-3146
No TPTP formula. May not be expressible in strict first order. Merge.kif 12220-12221
No TPTP formula. May not be expressible in strict first order. Merge.kif 12219-12219 子類 Maintaining and IntentionalProcess

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12224-12224 相關的內部概念 Repairing and Maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20838-20838 子類 農業 and Maintaining
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1865-1865 子類 ChildCareService and Maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5551-5551 子類 清潔的 and Maintaining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18417-18417 子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1156-1156
No TPTP formula. May not be expressible in strict first order. english_format.kif 1529-1529
No TPTP formula. May not be expressible in strict first order. french_format.kif 834-834
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 366-366
No TPTP formula. May not be expressible in strict first order. terms-it.txt 369-369
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2518-2518
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 786-786
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 371-371
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 405-405
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 855-855
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 370-370

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2573-2587
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1943-1955
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8526-8536
No TPTP formula. May not be expressible in strict first order. Communications.kif 258-284


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