developmentalForm - Sigma Knowledge base Browser

appearance as argument number 1

(documentation developmentalForm ChineseLanguage "(developmentalForm ?OBJECT ?FORM)的意思是 ?FORM 形容 ?OBJECT 个别发育过程的一段时期。例如：蝌蚪和毛虫分别是青蛙和蝴蝶的 developmentalForm。")	chinese_format.kif 3366-3368
(documentation developmentalForm EnglishLanguage "(developmentalForm ?OBJECT ?FORM) means that ?FORM describes a stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively.")	Merge.kif 14406-14409
(domain developmentalForm 1 OrganicObject)	Merge.kif 14396-14396	The number 1 argument of developmental form is an instance of organic object
(domain developmentalForm 2 DevelopmentalAttribute)	Merge.kif 14397-14397	The number 2 argument of developmental form is an instance of developmental attribute
(instance developmentalForm AsymmetricRelation)	Merge.kif 14393-14393	developmental form is an instance of asymmetric relation
(instance developmentalForm BinaryPredicate)	Merge.kif 14392-14392	developmental form is an instance of binary predicate
(instance developmentalForm TransitiveRelation)	Merge.kif 14394-14394	developmental form is an instance of transitive relation
(subrelation developmentalForm attribute)	Merge.kif 14395-14395	developmental form is a subrelation of attribute

appearance as argument number 2

(format ChineseLanguage developmentalForm "%1 的发育形态 %n 是 %2")	chinese_format.kif 519-519
(format EnglishLanguage developmentalForm "the developmental form of %1 is %n %2")	english_format.kif 524-524
(format FrenchLanguage developmentalForm "la forme developmentale de %1 est %n %2")	french_format.kif 307-307
(format ItalianLanguage developmentalForm "la forma evolutiva di %1 è %2")	relations-it.txt 72-72
(format JapaneseLanguage developmentalForm "%1 の developmental form は %n %2 では %n")	japanese_format.kif 2075-2075
(format PortugueseLanguage developmentalForm "a forma developmental de %1 e' %n %2")	portuguese_format.kif 259-259
(format de developmentalForm "die entwicklungsForm von %1 ist %2")	relations-de.txt 674-674
(format hi developmentalForm "%1 kaa vikaasaatmaka ruupa %2 hai")	relations-hindi.txt 113-113
(format ro developmentalForm "form%t{forma} de developmental%t{evoluþie} a lui %1 %n{nu} este %2")	relations-ro.kif 328-328
(format sv developmentalForm "utvecklingsformen för %1 är %2")	relations-sv.txt 335-335
(format tg developmentalForm "ang bata pa ng kalagayan ng %1 ay %2")	relations-cb.txt 106-106
(termFormat ChineseLanguage developmentalForm "发展形式")	domainEnglishFormat.kif 19341-19341
(termFormat ChineseLanguage developmentalForm "发育形态")	chinese_format.kif 520-520
(termFormat ChineseTraditionalLanguage developmentalForm "發展形式")	domainEnglishFormat.kif 19340-19340
(termFormat EnglishLanguage developmentalForm "developmental form")	domainEnglishFormat.kif 19339-19339
(termFormat de developmentalForm "entwicklungsForm")	terms-de.txt 204-204
(termFormat tg developmentalForm "bata pa ng kalagayan")	relations-tg.txt 161-161

antecedent

(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))

Merge.kif 14411-14418

If the developmental form of an entity is an attribute holds during a time interval and another attribute is a successor attribute of the attribute,
then there exists another time interval such that the other time interval happens earlier than the time interval and the developmental form of the entity is the other attribute holds during the other time interval

consequent

(=> (and (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1)) (successorAttributeClosure ?ATTR2 ?ATTR1)) (exists (?TIME2) (and (earlier ?TIME2 ?TIME1) (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2)))))	Merge.kif 14411-14418	If the developmental form of an entity is an attribute holds during a time interval and another attribute is a successor attribute of the attribute, then there exists another time interval such that the other time interval happens earlier than the time interval and the developmental form of the entity is the other attribute holds during the other time interval
(=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR)))	Mid-level-ontology.kif 234-239	If an entity is an instance of organic object and another entity is an instance of developmental attribute and the entity the attribute the other entity holds during a time position, then the developmental form of the entity is the other entity holds during the time position
(=> (holdsDuring ?TIME (instance ?ADULT HumanAdult)) (holdsDuring ?TIME (developmentalForm ?ADULT FullyFormed)))	Mid-level-ontology.kif 220-224	If an entity is an instance of human adult holds during a time position, then the developmental form of the entity is fully formed holds during the time position
(=> (holdsDuring ?TIME (instance ?CHILD HumanChild)) (holdsDuring ?TIME (developmentalForm ?CHILD NonFullyFormed)))	Mid-level-ontology.kif 273-277	If an entity is an instance of human child holds during a time position, then the developmental form of the entity is non fully formed holds during the time position

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: