constructionPeriod - Sigma Knowledge base Browser

appearance as argument number 1

(documentation constructionPeriod EnglishLanguage "(constructionPeriod ?OBJECT ?INTERVAL) means that some StationaryArtifact ?OBJECT was built over TimeInterval ?INTERVAL")	Mid-level-ontology.kif 21893-21894
(domain constructionPeriod 1 StationaryArtifact)	Mid-level-ontology.kif 21891-21891	The number 1 argument of construction period is an instance of stationary artifact
(domain constructionPeriod 2 TimeInterval)	Mid-level-ontology.kif 21892-21892	The number 2 argument of construction period is an instance of time interval
(instance constructionPeriod BinaryPredicate)	Mid-level-ontology.kif 21890-21890	construction period is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage constructionPeriod "%1 是在期间 %2 built ")	domainEnglishFormat.kif 3074-3074
(format ChineseTraditionalLanguage constructionPeriod "%1 是在期間 %2 built ")	domainEnglishFormat.kif 3073-3073
(format EnglishLanguage constructionPeriod "%1 was built during %2")	domainEnglishFormat.kif 3072-3072
(termFormat EnglishLanguage constructionPeriod "construction period")	Mid-level-ontology.kif 21895-21895

antecedent

(=>
    (constructionPeriod ?OBJECT ?INTERVAL)
    (holdsDuring ?INTERVAL
        (exists (?CONSTRUCTING)
            (and
                (instance ?CONSTRUCTING Constructing)
                (result ?CONSTRUCTING ?OBJECT)))))

Mid-level-ontology.kif 21897-21903

If a stationary artifact was built during a time interval,
then there exists an entity such that the entity is an instance of constructing and the stationary artifact is a result of the entity holds during the time interval

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: