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

Formal Language: 



KB Term:  Term intersection
English Word: 

  authors

 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 15506-15509
No TPTP formula. May not be expressible in strict first order. Merge.kif 15502-15502 O argumento numero 1 de authors e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15503-15503 O argumento numero 2 de authors e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15501-15501 authors e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 15500-15500 authors e' uma instancia de Predicado Binario

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 15446-15453
No TPTP formula. May not be expressible in strict first order. Merge.kif 15477-15486
No TPTP formula. May not be expressible in strict first order. Government.kif 2288-2293
No TPTP formula. May not be expressible in strict first order. Government.kif 2295-2302
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 15512-15518

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 21116-21128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21093-21107


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