Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonFullyFormed

Sigma KEE - NonFullyFormed
NonFullyFormed(non fully formed)SGA_infant, Tyke, abandoned_infant, adolescence, adolescent, baby_bird, babyhood, bairn, blue_baby, bottle-fed, boyish, boylike, breast-fed, brit, britt, buster, calf, changeling, cherub, childhood, childlike, childly, chrysalis, cub, cygnet, eaglet, elver, fledgeling, fledgling, foundling, girlish, green, greenness, immature, immatureness, immaturity, inchoative, infancy, infantile, junior, juvenile, juvenile_person, kiddy, kindergartener, kindergartner, lad, laddie, lambkin, liveborn_infant, low-birth-weight_baby...

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


s__contraryAttribute__2(s__NonFullyFormed,s__FullyFormed)

Merge.kif 18566-18566 Non fully formed is the opposite of fully formed
s__documentation(s__NonFullyFormed,s__ChineseLanguage,'这是指一个 Organism 在到 FullyFormed 以前 的阶段。')

Merge.kif 18570-18571
s__documentation(s__NonFullyFormed,s__EnglishLanguage,'The stage of an Organism before it is FullyFormed.')

Merge.kif 18568-18569
s__instance(s__NonFullyFormed,s__DevelopmentalAttribute)

s__instance(s__DevelopmentalAttribute,s__SetOrClass)

Merge.kif 18565-18565 Non fully formed is an instance of developmental attribute
s__successorAttribute(s__NonFullyFormed,s__FullyFormed)

Merge.kif 18567-18567 Non fully formed is an immediate successor attribute of fully formed

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


s__subAttribute(s__Embryonic,s__NonFullyFormed)

Merge.kif 18606-18606 Embryonic is a subattribute of non fully formed
s__subAttribute(s__Larval,s__NonFullyFormed)

Merge.kif 18580-18580 Larval is a subattribute of non fully formed
s__subAttribute(s__Puberty,s__NonFullyFormed)

Mid-level-ontology.kif 17605-17605 Puberty is a subattribute of non fully formed
s__termFormat(s__EnglishLanguage,s__NonFullyFormed,'non fully formed')

domainEnglishFormat.kif 7216-7216 "non fully formed" is the printable form of non fully formed in english language

appearance as argument number 3
-------------------------


s__exhaustiveAttribute__3(s__DevelopmentalAttribute,s__FullyFormed,s__NonFullyFormed)

Merge.kif 18546-18546 Fully formed are all the attributes of developmental attribute

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 438-444

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


( ∀ [V__C]
   (s__instance(V__C,s__Calf)s__<⇒
    (s__instance(V__C,s__Cow)s__and__ms__attribute(V__C,s__NonFullyFormed)))
   )

Mid-level-ontology.kif 17942-17946 An object is an instance of calf if and only if the object is an instance of cow and non fully formed is an attribute of the object
( ∀ [V__L]
   (s__instance(V__L,s__Lamb)s__<⇒
    (s__instance(V__L,s__Sheep)s__and__ms__attribute(V__L,s__NonFullyFormed)))
   )

Mid-level-ontology.kif 17929-17933 An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18557-18563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 431-435
( ∀ [V__K]
   (s__instance(V__K,s__Bunny)s__=>s__attribute(V__K,s__NonFullyFormed))
   )

Mid-level-ontology.kif 18156-18158
( ∀ [V__K]
   (s__instance(V__K,s__Kitten)s__=>s__attribute(V__K,s__NonFullyFormed))
   )

Mid-level-ontology.kif 17831-17833
( ∀ [V__P]
   (s__instance(V__P,s__Puppy)s__=>s__attribute(V__P,s__NonFullyFormed))
   )

Mid-level-ontology.kif 17842-17844
( ∀ [V__RESTORE]
   (s__instance(V__RESTORE,s__Reforestation)s__=>(s__exists__m[V__TREE]
       (s__instance(V__TREE,s__BotanicalTree)s__and__ms__attribute(V__TREE,s__NonFullyFormed)s__and__ms__patient(V__RESTORE,V__TREE))))
)

Geography.kif 2517-2523


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners