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. Merge.kif 15436-15437
No TPTP formula. May not be expressible in strict first order. Merge.kif 15432-15435
No TPTP formula. May not be expressible in strict first order. Merge.kif 15428-15428 The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15429-15429 The number 2 argument of authors is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15427-15427 authors is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15426-15426 authors 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 531-531
No TPTP formula. May not be expressible in strict first order. english_format.kif 324-324
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. 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-tg.txt 76-76
No TPTP formula. May not be expressible in strict first order. Media.kif 1847-1847 composer is a subrelation of authors
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 532-532 "作者" is the printable form of authors in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1962-1962 "authors" is the printable form of authors in english language
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 77-77 "sumulat" is the printable form of authors in tg

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1853-1857
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 929-937
No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15374
No TPTP formula. May not be expressible in strict first order. Merge.kif 15401-15410
No TPTP formula. May not be expressible in strict first order. Government.kif 2271-2276
No TPTP formula. May not be expressible in strict first order. Government.kif 2278-2285
No TPTP formula. May not be expressible in strict first order. Merge.kif 15440-15446

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 492-501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18337-18343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18322-18331


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners