TreeView Knowledge Base Browser

appearance as argument number 1

(documentation conforms EnglishLanguage "(conforms ?OBJ ?PROP) describes how ?OBJ follows the ideas outlined by ?PROP")	Mid-level-ontology.kif 26819-26820
(domain conforms 1 Object)	Mid-level-ontology.kif 26823-26823	The number 1 argument of conforms is an instance of object
(domain conforms 2 Proposition)	Mid-level-ontology.kif 26824-26824	The number 2 argument of conforms is an instance of proposition
(instance conforms BinaryPredicate)	Mid-level-ontology.kif 26818-26818	conforms is an instance of binary predicate
(subrelation conforms represents)	Mid-level-ontology.kif 26817-26817	conforms is a subrelation of represents

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

antecedent

Mid-level-ontology.kif 26826-26828

consequent

(=>
    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))

Mid-level-ontology.kif 26847-26851