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 25943-25944
(domain conforms 1 Object) Mid-level-ontology.kif 25947-25947 The number 1 argument of conforms is an instance of object
(domain conforms 2 Proposition) Mid-level-ontology.kif 25948-25948 The number 2 argument of conforms is an instance of proposition
(instance conforms BinaryPredicate) Mid-level-ontology.kif 25942-25942 conforms is an instance of binary predicate
(subrelation conforms represents) Mid-level-ontology.kif 25941-25941 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 25945-25945

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


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

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


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


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