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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 26925-26926
(domain conforms 1 Object) Mid-level-ontology.kif 26929-26929
(domain conforms 2 Proposition) Mid-level-ontology.kif 26930-26930
(instance conforms BinaryPredicate) Mid-level-ontology.kif 26924-26924
(subrelation conforms represents) Mid-level-ontology.kif 26923-26923

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


    (conforms ?OBJ AmericansWithDisabilitiesAct)
    (attribute ?OBJ HandicappedFriendly))
Mid-level-ontology.kif 26932-26934


    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))
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