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 15178-15181
No TPTP formula. May not be expressible in strict first order. Merge.kif 15174-15174 The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15175-15175 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 15173-15173 authors is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15172-15172 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 536-536
No TPTP formula. May not be expressible in strict first order. Media.kif 1843-1843 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 9170-9170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9169-9169

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1849-1853
No TPTP formula. May not be expressible in strict first order. Merge.kif 15118-15125
No TPTP formula. May not be expressible in strict first order. Merge.kif 15149-15158
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2314
No TPTP formula. May not be expressible in strict first order. Government.kif 2316-2323
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 15184-15190

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 498-507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20395-20401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20380-20389


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