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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agreementClause

 Sigma KEE - agreementClause
agreementClause

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14061-14064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14067-14067 agreementClause 的 1 数量 是 命题 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14068-14068 agreementClause 的 2 数量 是 道义属性 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14069-14069 agreementClause 的 3 数量 是 协议 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14070-14070 agreementClause 的 4 数量 是 有认知的主事 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14060-14060 agreementClause 是 四元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2726-2726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2725-2725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2724-2724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14065-14065

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14072-14077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14100-14106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14091-14098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14079-14089

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


No TPTP formula. May not be expressible in strict first order. Catalog.kif 311-324


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