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


KB Term:  Term intersection
English Word: 

  Caffeine

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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