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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - unratifiedSignatoryToAgreement
unratifiedSignatoryToAgreement

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2988-2992
No TPTP formula. May not be expressible in strict first order. Geography.kif 2985-2985 The number 1 argument of unratified signatory to agreement is an instance of agent
No TPTP formula. May not be expressible in strict first order. Geography.kif 2986-2986 The number 2 argument of unratified signatory to agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 2984-2984 unratified signatory to agreement is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2579-2579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2578-2578
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2577-2577
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60502-60502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60501-60501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60500-60500

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2994-2996


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