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 25858-25859
(domain weddingdate 1 Human)	Mid-level-ontology.kif 25860-25860
(domain weddingdate 2 Human)	Mid-level-ontology.kif 25861-25861
(domain weddingdate 3 Day)	Mid-level-ontology.kif 25862-25862
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 25863-25863

appearance as argument number 2

(format ChineseLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4986-4986
(format ChineseTraditionalLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4985-4985
(format EnglishLanguage weddingdate "%1 and %2 were married on %3")	domainEnglishFormat.kif 4984-4984
(termFormat EnglishLanguage weddingdate "weddingdate")	domainEnglishFormat.kif 66002-66002

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 25865-25874

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 315-325

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

KB Term:			Term intersection

English Word: