TreeView Knowledge Base Browser

appearance as argument number 1

(documentation describes EnglishLanguage "(describes ?FORMULA ?OBJECT) means that some Formula ?FORMULA, as said by some AutonomousAgent regarding some Object ?OBJECT")	Mid-level-ontology.kif 16176-16177
(domain describes 1 Formula)	Mid-level-ontology.kif 16174-16174	Die Zahl 1 Argument von describes ist ein fall von Formula %n{nicht}
(domain describes 2 Object)	Mid-level-ontology.kif 16175-16175	Die Zahl 2 Argument von describes ist ein fall von Object %n{nicht}
(instance describes BinaryPredicate)	Mid-level-ontology.kif 16172-16172	describes ist ein fall von BinaryPredicate %n{nicht}
(subrelation describes refers)	Mid-level-ontology.kif 16173-16173	describes ist eine teilrelation von beziehtSichAuf

appearance as argument number 2

(format ChineseLanguage describes "%1 describes %2 ")	domainEnglishFormat.kif 3238-3238
(format ChineseTraditionalLanguage describes "%1 describes %2 ")	domainEnglishFormat.kif 3237-3237
(format EnglishLanguage describes "%1 describes %2")	domainEnglishFormat.kif 3236-3236
(termFormat EnglishLanguage describes "describes")	Mid-level-ontology.kif 16178-16178

antecedent

(=>
    (describes ?FORMULA ?OBJECT)
    (exists (?STATING ?AGENT)
        (and
            (instance ?STATING Stating)
            (agent ?STATING ?AGENT)
            (patient ?STATING ?FORMULA)
            (refers ?STATING ?OBJECT))))

Mid-level-ontology.kif 16180-16187

Wenn describes Formula and Object,
dann es gibt Process und AutonomousAgent um ** Process ist ein fall von Stating %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Formula ist ein patient von ** Process %n{nicht} und ** Process umfasst einen hinweis auf ** Object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: