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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - editor
editor

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3563-3564
No TPTP formula. May not be expressible in strict first order. Merge.kif 15480-15482
No TPTP formula. May not be expressible in strict first order. Merge.kif 15476-15476 The number 1 argument of editor is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15477-15477 The number 2 argument of editor is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15475-15475 editor is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15474-15474 editor is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 533-533
No TPTP formula. May not be expressible in strict first order. english_format.kif 538-538
No TPTP formula. May not be expressible in strict first order. french_format.kif 314-314
No TPTP formula. May not be expressible in strict first order. relations-it.txt 89-89
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2082-2082
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 266-266
No TPTP formula. May not be expressible in strict first order. relations-de.txt 695-695
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 129-129
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 335-335
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 346-346
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 193-193
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 534-534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21252-21252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21251-21251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21250-21250
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 194-194


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