TreeView Knowledge Base Browser

appearance as argument number 1

(contraryAttribute NonFullyFormed FullyFormed)	Merge.kif 18175-18175	NonFullyFormed は FullyFormed の disjoint では %n
(documentation NonFullyFormed ChineseLanguage "这是指一个 Organism 在到 FullyFormed 以前的阶段。")	chinese_format.kif 4023-4024
(documentation NonFullyFormed EnglishLanguage "The stage of an Organism before it is FullyFormed.")	Merge.kif 18177-18178
(instance NonFullyFormed DevelopmentalAttribute)	Merge.kif 18174-18174	NonFullyFormed は発達属性の instance では %n
(successorAttribute NonFullyFormed FullyFormed)	Merge.kif 18176-18176	NonFullyFormed は FullyFormed の immediate successor attribute では %n

appearance as argument number 2

(subAttribute Embryonic NonFullyFormed)	Merge.kif 18211-18211	Embryonic は NonFullyFormed の subattribute では %n
(subAttribute Larval NonFullyFormed)	Merge.kif 18187-18187	Larval は NonFullyFormed の subattribute では %n
(subAttribute Puberty NonFullyFormed)	Mid-level-ontology.kif 19847-19847	Puberty は NonFullyFormed の subattribute では %n
(termFormat ChineseLanguage NonFullyFormed "没有完全形成")	domainEnglishFormat.kif 40779-40779
(termFormat ChineseTraditionalLanguage NonFullyFormed "沒有完全形成")	domainEnglishFormat.kif 40778-40778
(termFormat EnglishLanguage NonFullyFormed "non fully formed")	domainEnglishFormat.kif 40777-40777

appearance as argument number 3

(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)

Merge.kif 18158-18158

exhaustiveAttribute 発達属性, FullyFormed and NonFullyFormed

antecedent

(=>
    (and
        (instance ?CHILD Human)
        (holdsDuring ?TIME
            (attribute ?CHILD NonFullyFormed)))
    (holdsDuring ?TIME
        (instance ?CHILD HumanYouth)))

Mid-level-ontology.kif 286-292

エンティティーは人［人間］の instance では %n NonFullyFormed はエンティティーの attribute では %n は時間位置の during holds %n{ない}
エンティティーは HumanYouth の instance では %n は時間位置の during holds %n{ない}

consequent

(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 20208-20212	オブジェクトは Calf の instance では %n オブジェクトは Cattle の instance では %n NonFullyFormed はオブジェクトの attribute では %n
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20185-20189	オブジェクトは Lamb の instance では %n オブジェクトは Sheep の instance では %n NonFullyFormed はオブジェクトの attribute では %n
(=> (attribute ?OBJ FullyFormed) (exists (?GROWTH) (and (instance ?GROWTH Growth) (experiencer ?GROWTH ?OBJ) (holdsDuring (BeginFn (WhenFn ?OBJ)) (attribute ?OBJ NonFullyFormed)))))	Merge.kif 18166-18172	FullyFormed は AutonomousAgent の attribute では %n 工程工程は成長の instance では %n AutonomousAgent が工程を experiences %n{ない} NonFullyFormed は AutonomousAgent の attribute では %n は AutonomousAgent の time の existence の beginning の during holds %n{ない}
(=> (holdsDuring ?TIME (instance ?CHILD HumanChild)) (holdsDuring ?TIME (developmentalForm ?CHILD NonFullyFormed)))	Mid-level-ontology.kif 280-284	エンティティーは HumanChild の instance では %n は時間位置の during holds %n{ない} エンティティーの developmental form は NonFullyFormed では %n は時間位置の during holds %n{ない}
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 24009-24016	移動は出生の instance では %n オブジェクト移動ABY Female はオブジェクトの attribute では %n 移動はオブジェクトから originates %n{ない} objectTransferred 移動 and 移動ABY NonFullyFormed は移動ABY の attribute では %n
(=> (instance ?K Bunny) (attribute ?K NonFullyFormed))	Mid-level-ontology.kif 20391-20393	オブジェクトは Bunny の instance では %n NonFullyFormed はオブジェクトの attribute では %n
(=> (instance ?K Kitten) (attribute ?K NonFullyFormed))	Mid-level-ontology.kif 20089-20091	オブジェクトは Kitten の instance では %n NonFullyFormed はオブジェクトの attribute では %n
(=> (instance ?M MammalCub) (attribute ?M NonFullyFormed))	Mid-level-ontology.kif 30611-30613	オブジェクトは MammalCub の instance では %n NonFullyFormed はオブジェクトの attribute では %n
(=> (instance ?P Puppy) (attribute ?P NonFullyFormed))	Mid-level-ontology.kif 20101-20103	オブジェクトは Puppy の instance では %n NonFullyFormed はオブジェクトの attribute では %n
(=> (instance ?RESTORE Reforestation) (exists (?TREE) (and (instance ?TREE BotanicalTree) (attribute ?TREE NonFullyFormed) (patient ?RESTORE ?TREE))))	Geography.kif 2588-2594	工程は Reforestation の instance では %n オブジェクトオブジェクトは BotanicalTree の instance では %n NonFullyFormed はオブジェクトの attribute では %n オブジェクトは工程の patient では %n

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

KB Term:			Term intersection

English Word: