foundingdate - Sigma Knowledge base Browser

antecedent

(=>
    (foundingdate ?ORG ?D)
    (exists (?F)
        (and
            (instance ?F Founding)
            (instance ?ORG Organization)
            (experiencer ?F ?ORG)
            (date ?F ?D))))

If foundingdate X and Y, then there exists Z such that Z is an instance of founding, X is an instance of organization, X experiences Z, and date of Z is Y

consequent

(=>
    (instance ?AF ArchitectureFirm)
    (exists (?DATE ?F ?A)
        (and
            (attribute ?A Architect)
            (instance ?F Founding)
            (instance ?AF Business)
            (foundingdate ?AF ?DATE)
            (result ?F ?AF)
            (agent ?F ?A))))

If X is an instance of ArchitectureFirm, then All of the following hold: (1) there exist Y, Z (2) W such that architect is an attribute of W (3) Z is an instance of founding (4) X is an instance of business (5) foundingdate X (6) Y (7) X is a result of Z (8) W is an agent of Z

(documentation foundingdate EnglishLanguage "(foundingdate ?ORG ?DAY) means that ?DAY is the day on which ?ORG was founded.")	Society.kif 208-208
(domain foundingdate 1 Organization)	Society.kif 209-209	The number 1 argument of foundingdate is an instance of organization
(domain foundingdate 2 Day)	Society.kif 210-210	The number 2 argument of foundingdate is an instance of day
(instance foundingdate BinaryPredicate)	Society.kif 211-211	foundingdate is an instance of binary predicate