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

Formal Language: 



KB Term:  Term intersection
English Word: 

  unratifiedSignatoryToAgreement

Sigma KEE - unratifiedSignatoryToAgreement
unratifiedSignatoryToAgreement

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3107-3111
No TPTP formula. May not be expressible in strict first order. Geography.kif 3104-3104 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 3105-3105 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 3103-3103 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 60536-60536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60535-60535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60534-60534

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3113-3115


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