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

Formal Language: 



KB Term:  Term intersection
English Word: 

  executiveBranch

Sigma KEE - executiveBranch
executiveBranch

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1284-1287
No TPTP formula. May not be expressible in strict first order. Government.kif 1281-1281 The number 1 argument of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1282-1282 The number 2 argument of executive branch is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1280-1280 executive branch is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Government.kif 1279-1279 executive branch is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 931-931
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 930-930
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 929-929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22714-22714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22713-22713
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22712-22712

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1313-1318
No TPTP formula. May not be expressible in strict first order. Government.kif 1295-1299
No TPTP formula. May not be expressible in strict first order. Government.kif 1307-1311
No TPTP formula. May not be expressible in strict first order. Government.kif 1301-1305
No TPTP formula. May not be expressible in strict first order. Government.kif 1328-1330
No TPTP formula. May not be expressible in strict first order. Government.kif 1289-1293

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1336-1340
No TPTP formula. May not be expressible in strict first order. Government.kif 1332-1334


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