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 28824-28825
(domain conforms 1 Object) Mid-level-ontology.kif 28828-28828 The number 1 argument of conforms is an instance of object
(domain conforms 2 Proposition) Mid-level-ontology.kif 28829-28829 The number 2 argument of conforms is an instance of proposition
(instance conforms BinaryPredicate) Mid-level-ontology.kif 28823-28823 conforms is an instance of binary predicate
(subrelation conforms represents) Mid-level-ontology.kif 28822-28822 conforms is a subrelation of represents

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


(format ChineseLanguage conforms "%1 conforms 對 %2 ") domainEnglishFormat.kif 3066-3066
(format ChineseTraditionalLanguage conforms "%1 conforms 對 %2 ") domainEnglishFormat.kif 3065-3065
(format EnglishLanguage conforms "%1 conforms to %2") domainEnglishFormat.kif 3064-3064
(termFormat EnglishLanguage conforms "conforms") Mid-level-ontology.kif 28826-28826

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


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

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


(=>
    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))
Mid-level-ontology.kif 28852-28856
(=>
    (instance ?X PartInspection)
    (hasPurpose ?X
        (exists (?O ?P)
            (and
                (instance ?O SelfConnectedObject)
                (patient ?X ?O)
                (instance ?P Proposition)
                (refers ?P ?O)
                (modalAttribute
                    (conforms ?O ?P) Necessity)))))
Economy.kif 2072-2082


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