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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - leader
leader

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1561-1562
No TPTP formula. May not be expressible in strict first order. Merge.kif 1558-1558 The number 1 argument of leader is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1559-1559 The number 2 argument of leader is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 1556-1556 leader is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1555-1555 leader is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1557-1557 leader is an instance of single valued relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1451-1451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1450-1450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1449-1449

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20075-20084
No TPTP formula. May not be expressible in strict first order. Merge.kif 13813-13817
No TPTP formula. May not be expressible in strict first order. Merge.kif 13819-13823
No TPTP formula. May not be expressible in strict first order. Government.kif 1453-1459
No TPTP formula. May not be expressible in strict first order. Government.kif 1444-1450
No TPTP formula. May not be expressible in strict first order. Merge.kif 1564-1566

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13813-13817
No TPTP formula. May not be expressible in strict first order. Merge.kif 13819-13823
No TPTP formula. May not be expressible in strict first order. Government.kif 1343-1347
No TPTP formula. May not be expressible in strict first order. Government.kif 1510-1521
No TPTP formula. May not be expressible in strict first order. Government.kif 1484-1491
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1482
No TPTP formula. May not be expressible in strict first order. Government.kif 1500-1502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20065-20073
No TPTP formula. May not be expressible in strict first order. Government.kif 4851-4855
No TPTP formula. May not be expressible in strict first order. People.kif 1300-1302
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20232-20236
No TPTP formula. May not be expressible in strict first order. Government.kif 1339-1341


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 3.0 is open source software produced by Articulate Software and its partners