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

Formal Language: 



KB Term:  Term intersection
English Word: 

  conforms

Sigma KEE - conforms
conforms

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26925-26926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26929-26929 The number 1 argument of conforms is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26930-26930 The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26924-26924 conforms is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26923-26923 conforms is a subrelation of represents

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3070-3070
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3069-3069
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3068-3068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26927-26927

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26932-26934

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26953-26957


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