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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SigningAnAgreement
SigningAnAgreement(signing an agreement)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3000-3004
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11870-11870
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11866-11866
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11867-11867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10276-10276
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11869-11869
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11865-11865
No TPTP formula. May not be expressible in strict first order. Geography.kif 2998-2998 Signing an agreement is a subclass of committing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53012-53012
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53011-53011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53010-53010

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3006-3013

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 963-970
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 983-990
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1045-1052


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