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 11695-11698
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11701-11701 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 11702-11702 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 11703-11703 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 11704-11704 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 11694-11694 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 2723-2723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2722-2722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2721-2721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11699-11699

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11706-11711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11734-11740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11725-11732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11713-11723

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


No TPTP formula. May not be expressible in strict first order. Catalog.kif 295-309


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