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


(documentation conforms EnglishLanguage "(conforms ?OBJ ?PROP) describes how ?OBJ follows the ideas outlined by ?PROP") Mid-level-ontology.kif 26297-26298
(domain conforms 1 Object) Mid-level-ontology.kif 26301-26301 The number 1 argument of conforms is an instance of object
(domain conforms 2 Proposition) Mid-level-ontology.kif 26302-26302 The number 2 argument of conforms is an instance of proposition
(instance conforms BinaryPredicate) Mid-level-ontology.kif 26296-26296 conforms is an instance of binary predicate
(subrelation conforms represents) Mid-level-ontology.kif 26295-26295 conforms is a subrelation of represents

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


(format ChineseLanguage conforms "%1 conforms 對 %2 ") domainEnglishFormat.kif 3075-3075
(format ChineseTraditionalLanguage conforms "%1 conforms 對 %2 ") domainEnglishFormat.kif 3074-3074
(format EnglishLanguage conforms "%1 conforms to %2") domainEnglishFormat.kif 3073-3073
(termFormat EnglishLanguage conforms "conforms") Mid-level-ontology.kif 26299-26299

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


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

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


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


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