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 26925-26926
(domain conforms 1 Object) Mid-level-ontology.kif 26929-26929 conforms の数値 1 引数は オブジェクトinstance では %n
(domain conforms 2 Proposition) Mid-level-ontology.kif 26930-26930 conforms の数値 2 引数は 命題instance では %n
(instance conforms BinaryPredicate) Mid-level-ontology.kif 26924-26924 conforms2進述語instance では %n
(subrelation conforms represents) Mid-level-ontology.kif 26923-26923 conformsrepresentssubrelation では %n

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

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


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

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


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


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