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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18153-18153 Non fully formed is the opposite of fully formed
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4023-4024
No TPTP formula. May not be expressible in strict first order. Merge.kif 18155-18156
No TPTP formula. May not be expressible in strict first order. Merge.kif 18152-18152 Non fully formed is an instance of developmental attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18154-18154 Non fully formed is an immediate successor attribute of fully formed

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18189-18189 Embryonic is a subattribute of non fully formed
No TPTP formula. May not be expressible in strict first order. Merge.kif 18165-18165 Larval is a subattribute of non fully formed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19848-19848 Puberty is a subattribute of non fully formed
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40779-40779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40778-40778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40777-40777

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18136-18136 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 286-292

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20209-20213 An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20186-20190 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 18144-18150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 280-284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24010-24017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20392-20394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20090-20092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30623-30625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20102-20104
No TPTP formula. May not be expressible in strict first order. Geography.kif 2588-2594


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 is open source software produced by Articulate Software and its partners