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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - conforms
conforms

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26958-26959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26962-26962 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 26963-26963 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 26957-26957 conforms is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26956-26956 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 26960-26960

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


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

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


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


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