TreeView Knowledge Base Browser

appearance as argument number 1

(documentation weddingdate EnglishLanguage "(weddingdate ?PERSON1 ?PERSON2 ?DAY) means that ?DAY is the day on which ?PERSON1 and ?PERSON2 were married.")	Mid-level-ontology.kif 24208-24209
(domain weddingdate 1 Human)	Mid-level-ontology.kif 24210-24210	Die Zahl 1 Argument von weddingdate ist ein fall von Human %n{nicht}
(domain weddingdate 2 Human)	Mid-level-ontology.kif 24211-24211	Die Zahl 2 Argument von weddingdate ist ein fall von Human %n{nicht}
(domain weddingdate 3 Day)	Mid-level-ontology.kif 24212-24212	Die Zahl 3 Argument von weddingdate ist ein fall von Day %n{nicht}
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 24213-24213	weddingdate ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4978-4978
(format ChineseTraditionalLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4977-4977
(format EnglishLanguage weddingdate "%1 and %2 were married on %3")	domainEnglishFormat.kif 4976-4976
(termFormat EnglishLanguage weddingdate "weddingdate")	domainEnglishFormat.kif 65970-65970

antecedent

(=>
    (weddingdate ?PERSON1 ?PERSON2 ?DAY)
    (exists (?WEDDING)
        (and
            (instance ?WEDDING Wedding)
            (patient ?WEDDING ?PERSON1)
            (patient ?WEDDING ?PERSON2)
            (not
                (equal ?PERSON1 ?PERSON2))
            (date ?WEDDING ?DAY))))

Mid-level-ontology.kif 24215-24224

Wenn weddingdate Human, ** Human and Day,
dann es gibt Process um ** Process ist ein fall von Wedding %n{nicht} und ** Human ist ein patient von ** Process %n{nicht} und ** ** Human ist ein patient von ** Process %n{nicht} und ** Human ist gleich ** ** Human nicht und datum von ** Process ist ** Day %n{nicht}

consequent

(=>
    (and
        (instance ?TEXT MarriageCertificate)
        (instance ?A Human)
        (instance ?B Human)
        (spouse ?A ?B))
    (containsFormula ?TEXT
        (exists (?DAY)
            (and
                (weddingdate ?A ?B ?DAY)
                (instance ?DAY Day)))))

Biography.kif 307-317

Wenn ContentBearingPhysical ist ein fall von MarriageCertificate %n{nicht} und Human ist ein fall von Human %n{nicht} und ** Human ist ein fall von Human %n{nicht} und spouse ** Human and ** ** Human,
dann containsFormula ** ContentBearingPhysical and es gibt entity um weddingdate ** Human, ** ** Human and ** entity und ** entity ist ein fall von Day %n{nicht}

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

KB Term:			Term intersection

English Word: