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 26493-26494
(domain weddingdate 1 Human)	Mid-level-ontology.kif 26495-26495	The number 1 argument of weddingdate is an instance of human
(domain weddingdate 2 Human)	Mid-level-ontology.kif 26496-26496	The number 2 argument of weddingdate is an instance of human
(domain weddingdate 3 Day)	Mid-level-ontology.kif 26497-26497	The number 3 argument of weddingdate is an instance of day
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 26498-26498	weddingdate is an instance of ternary predicate

appearance as argument number 2

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

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 26500-26509

If X and Y were married on Z, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, equal X, Y, and date of W is Z

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

If X is an instance of marriage certificate, Y is an instance of human, Z is an instance of human, and Y is the spouse of Z, then X contains the formula there exists W such that Y, Z were married on W, and W is an instance of day

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

KB Term:			Term intersection

English Word: