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 未经批准的签署协议 的 1 数量 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3105-3105 未经批准的签署协议 的 2 数量 是 协议 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3103-3103 未经批准的签署协议 是 二元谓语 的 instance

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