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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - authors
authors

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3561-3562
No TPTP formula. May not be expressible in strict first order. Merge.kif 15460-15463
No TPTP formula. May not be expressible in strict first order. Merge.kif 15456-15456 作者 的 1 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15457-15457 作者 的 2 数量 是 有内用物体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15455-15455 作者非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15454-15454 作者二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 531-531
No TPTP formula. May not be expressible in strict first order. english_format.kif 536-536
No TPTP formula. May not be expressible in strict first order. french_format.kif 313-313
No TPTP formula. May not be expressible in strict first order. relations-it.txt 30-30
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2081-2081
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-de.txt 692-692
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 74-74
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 334-334
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 345-345
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 76-76
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 532-532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9161-9161
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9160-9160
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 77-77

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15400-15407
No TPTP formula. May not be expressible in strict first order. Merge.kif 15431-15440
No TPTP formula. May not be expressible in strict first order. Government.kif 2324-2329
No TPTP formula. May not be expressible in strict first order. Government.kif 2331-2338
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-949
No TPTP formula. May not be expressible in strict first order. Merge.kif 15466-15472

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21089-21101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21066-21080


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