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 24266-24267
(domain weddingdate 1 Human)	Mid-level-ontology.kif 24268-24268
(domain weddingdate 2 Human)	Mid-level-ontology.kif 24269-24269
(domain weddingdate 3 Day)	Mid-level-ontology.kif 24270-24270
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 24271-24271

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

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 24273-24282

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: