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 26273-26274
(domain conforms 1 Object)	Mid-level-ontology.kif 26277-26277	The number 1 argument of conforms is an instance of object
(domain conforms 2 Proposition)	Mid-level-ontology.kif 26278-26278	The number 2 argument of conforms is an instance of proposition
(instance conforms BinaryPredicate)	Mid-level-ontology.kif 26272-26272	conforms is an instance of binary predicate
(subrelation conforms represents)	Mid-level-ontology.kif 26271-26271	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 26275-26275

antecedent

Mid-level-ontology.kif 26280-26282

consequent

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

Mid-level-ontology.kif 26301-26305