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


(documentation conforms EnglishLanguage "(conforms ?OBJ ?PROP) describes how ?OBJ follows the ideas outlined by ?PROP") Mid-level-ontology.kif 26819-26820
(domain conforms 1 Object) Mid-level-ontology.kif 26823-26823 The number 1 argument of conforms is an instance of object
(domain conforms 2 Proposition) Mid-level-ontology.kif 26824-26824 The number 2 argument of conforms is an instance of proposition
(instance conforms BinaryPredicate) Mid-level-ontology.kif 26818-26818 conforms is an instance of binary predicate
(subrelation conforms represents) Mid-level-ontology.kif 26817-26817 conforms is a subrelation of represents

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


(format ChineseLanguage conforms "%1 conforms 對 %2 ") domainEnglishFormat.kif 3070-3070
(format ChineseTraditionalLanguage conforms "%1 conforms 對 %2 ") domainEnglishFormat.kif 3069-3069
(format EnglishLanguage conforms "%1 conforms to %2") domainEnglishFormat.kif 3068-3068
(termFormat EnglishLanguage conforms "conforms") Mid-level-ontology.kif 26821-26821

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


(=>
    (conforms ?OBJ AmericansWithDisabilitiesAct)
    (attribute ?OBJ HandicappedFriendly))
Mid-level-ontology.kif 26826-26828

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


(=>
    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))
Mid-level-ontology.kif 26847-26851


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