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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PassingABill
PassingABill(passingA bill)
more pictures...
enactment, establish, lay_down, legislate, make, pass, passage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13823-13824
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3174-3174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3173-3173
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3170-3170
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2981-2981
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3169-3169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13822-13822 PassingA bill is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13821-13821 PassingA bill is a subclass of political process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44712-44712
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44711-44711
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44710-44710

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13826-13832

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1937-1939


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