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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of agreement clause is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14068-14068 The number 2 argument of agreement clause is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14069-14069 The number 3 argument of agreement clause is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14070-14070 The number 4 argument of agreement clause is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14060-14060 agreement clause is an instance of quaternary predicate

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 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