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 24529-24530
(domain weddingdate 1 Human)	Mid-level-ontology.kif 24531-24531
(domain weddingdate 2 Human)	Mid-level-ontology.kif 24532-24532
(domain weddingdate 3 Day)	Mid-level-ontology.kif 24533-24533
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 24534-24534

appearance as argument number 2

(format ChineseLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4982-4982
(format ChineseTraditionalLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4981-4981
(format EnglishLanguage weddingdate "%1 and %2 were married on %3")	domainEnglishFormat.kif 4980-4980
(termFormat EnglishLanguage weddingdate "weddingdate")	domainEnglishFormat.kif 66035-66035

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 24536-24545

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

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

KB Term:			Term intersection

English Word: