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 26913-26914
(domain conforms 1 Object)	Mid-level-ontology.kif 26917-26917	Die Zahl 1 Argument von conforms ist ein fall von Object %n{nicht}
(domain conforms 2 Proposition)	Mid-level-ontology.kif 26918-26918	Die Zahl 2 Argument von conforms ist ein fall von Proposition %n{nicht}
(instance conforms BinaryPredicate)	Mid-level-ontology.kif 26912-26912	conforms ist ein fall von BinaryPredicate %n{nicht}
(subrelation conforms represents)	Mid-level-ontology.kif 26911-26911	conforms ist eine teilrelation von stelltDar

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

antecedent

Mid-level-ontology.kif 26920-26922

consequent

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

Mid-level-ontology.kif 26941-26945