Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Nascent
Nascent(nascent)emergent, emerging, nascent

appearance as argument number 1
-------------------------


(documentation Nascent EnglishLanguage "Just coming into existence") Mid-level-ontology.kif 34264-34264
(subclass Nascent InternalAttribute) Mid-level-ontology.kif 34266-34266 Nascent is a subclass of internal attribute

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Nascent "nascent") Mid-level-ontology.kif 34265-34265

consequent
-------------------------


(=>
    (instance ?PHYSICAL Physical)
    (exists (?LIFESPAN ?BEGINMOMENT ?NASCENTDURATION ?NASCENT)
        (and
            (equal ?LIFESPAN
                (WhenFn ?PHYSICAL))
            (equal ?BEGINMOMENT
                (BeginFn ?LIFESPAN))
            (equal ?NASCENTDURATION
                (ImmediateFutureFn ?BEGINMOMENT))
            (holdsDuring ?NASCENTDURATION
                (attribute ?PHYSICAL Nascent)))))		 Mid-level-ontology.kif 34268-34276 If X is an instance of physical, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) the time of existence of X (4) equal Z (5) the beginning of Y (6) equal W (7) immediately after Z (8) nascent is an attribute of X holds during W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners