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 14326-14329
No TPTP formula. May not be expressible in strict first order. Merge.kif 14322-14322 The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14323-14323 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 14321-14321 authors is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14320-14320 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 539-539
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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9178-9178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9177-9177

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 940-948
No TPTP formula. May not be expressible in strict first order. Merge.kif 14266-14273
No TPTP formula. May not be expressible in strict first order. Merge.kif 14297-14306
No TPTP formula. May not be expressible in strict first order. Government.kif 2265-2270
No TPTP formula. May not be expressible in strict first order. Government.kif 2272-2279
No TPTP formula. May not be expressible in strict first order. Merge.kif 14332-14338

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 18789-18795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18774-18783


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