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 26273-26274
(domain conforms 1 Object) Mid-level-ontology.kif 26277-26277 The number 1 argument of conforms is an instance of object
(domain conforms 2 Proposition) Mid-level-ontology.kif 26278-26278 The number 2 argument of conforms is an instance of proposition
(instance conforms BinaryPredicate) Mid-level-ontology.kif 26272-26272 conforms is an instance of binary predicate
(subrelation conforms represents) Mid-level-ontology.kif 26271-26271 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 26275-26275

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


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

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


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


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