firstInstanceCreated - Sigma Knowledge base Browser

appearance as argument number 1

(instance firstInstanceCreated BinaryPredicate)	Mid-level-ontology.kif 33305-33305	first instance created is an instance of binary predicate
(documentation firstInstanceCreated EnglishLanguage "The time when the first instance of the given class was created. Note that this can refer to Processes as well as Objects.")	Mid-level-ontology.kif 33306-33307	first instance created is an instance of binary predicate
(domainSubclass firstInstanceCreated 1 Physical)	Mid-level-ontology.kif 33308-33308	The number 1 argument of first instance created is a subclass of physical
(domain firstInstanceCreated 2 TimePoint)	Mid-level-ontology.kif 33309-33309	The number 2 argument of first instance created is an instance of time point

appearance as argument number 2

(format EnglishLanguage firstInstanceCreated "%1 was %n firstInstanceCreated at %2")	Mid-level-ontology.kif 33310-33310
(termFormat EnglishLanguage firstInstanceCreated "first instance created")	domainEnglishFormat.kif 65845-65845

antecedent

(=>
    (and
        (firstInstanceCreated ?C ?T)
        (instance ?I ?C))
    (beforeOrEqual ?T
        (BeginFn
            (WhenFn ?I))))

If X was firstInstanceCreated at Y and Z is an instance of X, then Y happens before or at the beginning of the time of existence of Z