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 15432-15435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15438-15438 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 15439-15439 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 15440-15440 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 15441-15441 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 15431-15431 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 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. domainEnglishFormat.kif 2720-2720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15436-15436

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15443-15448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15471-15477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15462-15469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15450-15460

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