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 19945-19946
No TPTP formula. May not be expressible in strict first order. Merge.kif 19941-19944
No TPTP formula. May not be expressible in strict first order. Merge.kif 19937-19937 The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 19938-19938 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 19936-19936 authors is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 19935-19935 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 745-745
No TPTP formula. May not be expressible in strict first order. english_format.kif 746-746
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 9174-9174 "作者" is the printable form of authors in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9173-9173 "authors" is the printable form of authors in english language

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 19876-19883
No TPTP formula. May not be expressible in strict first order. Merge.kif 19910-19919
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 19949-19955

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 18757-18763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18742-18751


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