屬性 (attribute)

(attribute object property) means that property is a Attribute of object. For example, (attribute MyLittleRedWagon Red).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

不對稱關係

非反身關係

屬性

Superrelation(s)

特性

屬性

Subrelation(s)

發展期形式

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數作者先於肇因次類肇因公民封閉於填滿已連結工程元件包含訊息相交日期降低可能性發展期形式無交集文字說明持續時間期間較早編者元素等同關係於利用以...語言表達填充完成次數圖部分大於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中增加可能性居住抑制內部非反射於... 大於小於方式/情狀測量空間上接觸時段相接成員情態屬性部分重疊雙親偏序於... 部分填充路徑長穿入擁有先決條件避免正部分適當填充出版範圍範圍次種類實現反射於... 兄弟姊妹小於開始次聚集次組織次計畫次命題續接屬性封閉續接屬性外表部分表面時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

attribute(物體)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (63)

If obj 是物質的實例 and attr 是 obj 的屬性 and part 是 obj 的部分), then attr 是 part 的屬性.

(=>
      (and
            (instance ?OBJ Substance)
            (attribute ?OBJ ?ATTR)
            (part ?PART ?OBJ))
      (attribute ?PART ?ATTR))

無交集關係(方式/情狀,屬性) holds.

(disjointRelation manner attribute)

if obj1 是 obj2 的精確複製,
then for all attr holds: if attr 是 obj1 的屬性, then attr 是 obj2 的屬性

(=>
      (copy ?OBJ1 ?OBJ2)
      (forall
            (?ATTR)
            (=>
                  (attribute ?OBJ1 ?ATTR)
                  (attribute ?OBJ2 ?ATTR))))

If there exists time so that obj (沒) 填充s hole timea(之中) time, then 可填充的是 hole 的屬性.

(=>
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (fills ?OBJ ?HOLE)))
      (attribute ?HOLE Fillable))

可填充的是 hole1 的屬性 if and only if there exists 洞 hole2 so that hole1 是 hole2 的部分).

(<=>
      (attribute ?HOLE1 Fillable)
      (exists
            (?HOLE2)
            (and
                  (instance ?HOLE2 Hole)
                  (part ?HOLE1 ?HOLE2))))

If obj1 (沒) 填充s hole and 可填充的是 obj2 的屬性, then obj1 not(沒) 與 obj2 重�|.

(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (attribute ?OBJ2 Fillable))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))

If death 是死亡的實例 and agent (沒) 體驗not(s) death, then 死是 agent 的屬性 ""death 存在的時間" 之後"a(之中) "death 存在的時間" 之後.

(=>
      (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))
      (holdsDuring
            (FutureFn
                  (WhenFn ?DEATH))
            (attribute ?AGENT Dead)))

If death 是死亡的實例 and birth 是誕生的實例 and agent (沒) 體驗not(s) death and agent (沒) 體驗not(s) birth, then there exists time so that "birth 存在的時間" (沒) 相接s time and time (沒) 相接s "death 存在的時間" and 活的是 agent 的屬性 timea(之中) time.

(=>
      (and
            (instance ?DEATH Death)
            (instance ?BIRTH Birth)
            (experiencer ?DEATH ?AGENT)
            (experiencer ?BIRTH ?AGENT))
      (exists
            (?TIME)
            (and
                  (meetsTemporally
                        (WhenFn ?BIRTH)
                        ?TIME)
                  (meetsTemporally
                        ?TIME
                        (WhenFn ?DEATH))
                  (holdsDuring
                        ?TIME
                        (attribute ?AGENT Living)))))

If act 是吃的實例 and food 是 act 的受事者, then 固體的是 food 的屬性.

(=>
      (and
            (instance ?ACT Eating)
            (patient ?ACT ?FOOD))
      (attribute ?FOOD Solid))

If path 是病理歷程的實例 and org (沒) 體驗not(s) path, then there exist part,疾病或症候群 disease so that part 是 org 的部分) and disease 是 part 的屬性.

(=>
      (and
            (instance ?PATH PathologicProcess)
            (experiencer ?PATH ?ORG))
      (exists
            (?PART ?DISEASE)
            (and
                  (part ?PART ?ORG)
                  (instance ?DISEASE DiseaseOrSyndrome)
                  (attribute ?PART ?DISEASE))))

If kill 是殺害的實例 and patient 是 kill 的受事者, then 活的是 patient 的屬性 ""kill 存在的時間" 不久之前"a(之中) "kill 存在的時間" 不久之前 and 死是 patient 的屬性 ""kill 存在的時間" 之後"a(之中) "kill 存在的時間" 之後.

(=>
      (and
            (instance ?KILL Killing)
            (patient ?KILL ?PATIENT))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Living))
            (holdsDuring
                  (FutureFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Dead))))

If change 是內在改變的實例 and obj 是 change 的受事者, then there exists property so that

property 是 obj 的屬性 ""change 存在的時間" 不久之前"a(之中) "change 存在的時間" 不久之前 and property 是 obj 的屬性 ""change 存在的時間" 不久之後"a(之中) "change 存在的時間" 不久之後
property 是 obj 的屬性 ""change 存在的時間" 不久之前"a(之中) "change 存在的時間" 不久之前 and property 是 obj 的屬性 ""change 存在的時間" 不久之後"a(之中) "change 存在的時間" 不久之後

(=>
      (and
            (instance ?CHANGE InternalChange)
            (patient ?CHANGE ?OBJ))
      (exists
            (?PROPERTY)
            (or
                  (and
                        (holdsDuring
                              (ImmediatePastFn
                                    (WhenFn ?CHANGE))
                              (attribute ?OBJ ?PROPERTY))
                        (holdsDuring
                              (ImmediateFutureFn
                                    (WhenFn ?CHANGE))
                              (not
                                    (attribute ?OBJ ?PROPERTY))))
                  (and
                        (holdsDuring
                              (ImmediatePastFn
                                    (WhenFn ?CHANGE))
                              (not
                                    (attribute ?OBJ ?PROPERTY)))
                        (holdsDuring
                              (ImmediateFutureFn
                                    (WhenFn ?CHANGE))
                              (attribute ?OBJ ?PROPERTY))))))

If alt 是表面改變的實例 and obj 是 alt 的受事者, then there exist part,property so that part 是 obj的 �~表部分 and property 是 part 的屬性 ""alt 存在的時間" 不久之前"a(之中) "alt 存在的時間" 不久之前 and property 是 part 的屬性 ""alt 存在的時間" 不久之後"a(之中) "alt 存在的時間" 不久之後.

(=>
      (and
            (instance ?ALT SurfaceChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PART ?PROPERTY)
            (and
                  (superficialPart ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?ALT))
                        (not
                              (attribute ?PART ?PROPERTY))))))

If alt 是形狀改變的實例 and obj 是 alt 的受事者, then there exists 形狀屬性 property so that

property 是 obj 的屬性 ""alt 存在的時間" 不久之前"a(之中) "alt 存在的時間" 不久之前 and property 是 obj 的屬性 ""alt 存在的時間" 不久之後"a(之中) "alt 存在的時間" 不久之後
property 是 obj 的屬性 ""alt 存在的時間" 不久之前"a(之中) "alt 存在的時間" 不久之前 and property 是 obj 的屬性 ""alt 存在的時間" 不久之後"a(之中) "alt 存在的時間" 不久之後

(=>
      (and
            (instance ?ALT ShapeChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PROPERTY)
            (and
                  (instance ?PROPERTY ShapeAttribute)
                  (or
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?ALT))
                                    (attribute ?OBJ ?PROPERTY))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?ALT))
                                    (not
                                          (attribute ?OBJ ?PROPERTY))))
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?ALT))
                                    (not
                                          (attribute ?OBJ ?PROPERTY)))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?ALT))
                                    (attribute ?OBJ ?PROPERTY)))))))

If coloring 是著色的實例 and obj 是 coloring 的受事者, then there exists 顏色屬性 property so that property 是 obj 的屬性 ""coloring 存在的時間" 不久之前"a(之中) "coloring 存在的時間" 不久之前 and property 是 obj 的屬性 ""coloring 存在的時間" 不久之後"a(之中) "coloring 存在的時間" 不久之後.

(=>
      (and
            (instance ?COLORING Coloring)
            (patient ?COLORING ?OBJ))
      (exists
            (?PROPERTY)
            (and
                  (instance ?PROPERTY ColorAttribute)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COLORING))
                        (attribute ?OBJ ?PROPERTY))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COLORING))
                        (not
                              (attribute ?OBJ ?PROPERTY))))))

If wet 是濕潤的實例 and obj 是 wet 的受事者, then 濕的是 obj 的屬性 or 潮濕是 obj 的屬性 ""wet 存在的時間" 不久之後"a(之中) "wet 存在的時間" 不久之後.

(=>
      (and
            (instance ?WET Wetting)
            (patient ?WET ?OBJ))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?WET))
            (or
                  (attribute ?OBJ Wet)
                  (attribute ?OBJ Damp))))

If wet 是濕潤的實例, then there exists obj so that 液體的是 obj 的屬性 and obj 是 wet 的受事者.

(=>
      (instance ?WET Wetting)
      (exists
            (?OBJ)
            (and
                  (attribute ?OBJ Liquid)
                  (patient ?WET ?OBJ))))

If dry 是乾燥的實例 and obj 是 dry 的受事者, then 乾的是 obj 的屬性 ""dry 存在的時間" 不久之後"a(之中) "dry 存在的時間" 不久之後.

(=>
      (and
            (instance ?DRY Drying)
            (patient ?DRY ?OBJ))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?DRY))
            (attribute ?OBJ Dry)))

If express 是表達的實例 and express 是 agent 的施事者, then there exists 心理狀態 state so that state 是 agent 的屬性 and express 表達 state.

(=>
      (and
            (instance ?EXPRESS Expressing)
            (agent ?EXPRESS ?AGENT))
      (exists
            (?STATE)
            (and
                  (instance ?STATE StateOfMind)
                  (attribute ?AGENT ?STATE)
                  (represents ?EXPRESS ?STATE))))

If see 是看的實例 and see 是 agent 的施事者 and obj 是 see 的受事者, then

被光照的是 obj 的屬性
there exists 顏色屬性 prop so that agent (不）知道s) %2

(=>
      (and
            (instance ?SEE Seeing)
            (agent ?SEE ?AGENT)
            (patient ?SEE ?OBJ))
      (and
            (attribute ?OBJ Illuminated)
            (exists
                  (?PROP)
                  (and
                        (instance ?PROP ColorAttribute)
                        (knows
                              ?AGENT
                              (attribute ?OBJ ?PROP))))))

If smell 是聞的實例 and obj 是 smell 的受事者, then there exists 嗅覺屬性 attr so that attr 是 obj 的屬性.

(=>
      (and
            (instance ?SMELL Smelling)
            (patient ?SMELL ?OBJ))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR OlfactoryAttribute)
                  (attribute ?OBJ ?ATTR))))

If taste 是味覺的實例 and obj 是 taste 的受事者, then there exists 味覺屬性 attr so that attr 是 obj 的屬性.

(=>
      (and
            (instance ?TASTE Tasting)
            (patient ?TASTE ?OBJ))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR TasteAttribute)
                  (attribute ?OBJ ?ATTR))))

If hear 是聽的實例 and obj 是 hear 的受事者, then there exists 聲音屬性 attr so that attr 是 obj 的屬性.

(=>
      (and
            (instance ?HEAR Hearing)
            (patient ?HEAR ?OBJ))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SoundAttribute)
                  (attribute ?OBJ ?ATTR))))

There exists 光線 emit so that region 是 emit 的受事者 and region 是區域的實例 if and only if 被光照的是 region 的屬性.

(<=>
      (exists
            (?EMIT)
            (and
                  (instance ?EMIT RadiatingLight)
                  (patient ?EMIT ?REGION)
                  (instance ?REGION Region)))
      (attribute ?REGION Illuminated))

If emit 是聲音的實例 and emit 是 sound 的施事者, then there exists 聲音屬性 attr so that attr 是 sound 的屬性.

(=>
      (and
            (instance ?EMIT RadiatingSound)
            (agent ?EMIT ?SOUND))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SoundAttribute)
                  (attribute ?SOUND ?ATTR))))

If process 是狀態改變的實例 and obj 是 process 的受事者, then there exist part,物理狀態 state1,物理狀態 state2 so that part 是 obj 的部分) and state1 等於 state2 and state1 是 part 的屬性 ""process 存在的時間" 不久之前"a(之中) "process 存在的時間" 不久之前 and state2 是 part 的屬性 ""freeze 存在的時間" 不久之後"a(之中) "freeze 存在的時間" 不久之後.

(=>
      (and
            (instance ?PROCESS StateChange)
            (patient ?PROCESS ?OBJ))
      (exists
            (?PART ?STATE1 ?STATE2)
            (and
                  (part ?PART ?OBJ)
                  (instance ?STATE1 PhysicalState)
                  (instance ?STATE2 PhysicalState)
                  (not
                        (equal ?STATE1 ?STATE2))
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?PROCESS))
                        (attribute ?PART ?STATE1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART ?STATE2)))))

If melt 是熔化的實例 and obj 是 melt 的受事者, then there exists part so that part 是 obj 的部分) and 固體的是 part 的屬性 ""melt 存在的時間" 不久之前"a(之中) "melt 存在的時間" 不久之前 and 液體的是 part 的屬性 ""melt 存在的時間" 不久之後"a(之中) "melt 存在的時間" 不久之後.

(=>
      (and
            (instance ?MELT Melting)
            (patient ?MELT ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?MELT))
                        (attribute ?PART Solid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?MELT))
                        (attribute ?PART Liquid)))))

If boil 是沸騰的實例 and obj 是 boil 的受事者, then there exists part so that part 是 obj 的部分) and 液體的是 part 的屬性 ""boil 存在的時間" 不久之前"a(之中) "boil 存在的時間" 不久之前 and 氣體是 part 的屬性 ""boil 存在的時間" 不久之後"a(之中) "boil 存在的時間" 不久之後.

(=>
      (and
            (instance ?BOIL Boiling)
            (patient ?BOIL ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Gas)))))

If cond 是凝結的實例 and obj 是 cond 的受事者, then there exists part so that part 是 obj 的部分) and 氣體是 part 的屬性 ""cond 存在的時間" 不久之前"a(之中) "cond 存在的時間" 不久之前 and 液體的是 part 的屬性 ""cond 存在的時間" 不久之後"a(之中) "cond 存在的時間" 不久之後.

(=>
      (and
            (instance ?COND Condensing)
            (patient ?COND ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COND))
                        (attribute ?PART Gas))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COND))
                        (attribute ?PART Liquid)))))

If freeze 是凝固的實例 and obj 是 freeze 的受事者, then there exists part so that part 是 obj 的部分) and 液體的是 part 的屬性 ""freeze 存在的時間" 不久之前"a(之中) "freeze 存在的時間" 不久之前 and 固體的是 part 的屬性 ""freeze 存在的時間" 不久之後"a(之中) "freeze 存在的時間" 不久之後.

(=>
      (and
            (instance ?FREEZE Freezing)
            (patient ?FREEZE ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Solid)))))

If mother 是 child 的母親, then 雌性是 mother 的屬性.

(=>
      (mother ?CHILD ?MOTHER)
      (attribute ?MOTHER Female))

If father 是 child 的父親, then 雄性是 father 的屬性.

(=>
      (father ?CHILD ?FATHER)
      (attribute ?FATHER Male))

If bev 是飲料的實例, then 液體的是 bev 的屬性.

(=>
      (instance ?BEV Beverage)
      (attribute ?BEV Liquid))

If "unit 的合法組織實體 " 等於 org and attr 是規範屬性的實例, then attr 是 unit 的屬性 if and only if attr 是 org 的屬性.

(=>
      (and
            (equal
                  (OrganizationFn ?UNIT)
                  ?ORG)
            (instance ?ATTR NormativeAttribute))
      (<=>
            (attribute ?UNIT ?ATTR)
            (attribute ?ORG ?ATTR)))

If attribute 是 person 的屬性 and attribute 是社會角色的實例, then person 是人類的實例.

(=>
      (and
            (attribute ?PERSON ?ATTRIBUTE)
            (instance ?ATTRIBUTE SocialRole))
      (instance ?PERSON Human))

For all org holds: org not(沒) 雇用(s) person and person 是人類的實例 if and only if 失業的是 person 的屬性.

(<=>
      (forall
            (?ORG)
            (and
                  (not
                        (employs ?ORG ?PERSON))
                  (instance ?PERSON Human)))
      (attribute ?PERSON Unemployed))

If attr 是 obj 的屬性 and attr 是競爭屬性的實例, then there exists 競爭 contest so that contest 是 obj 的施事者 or obj 是 contest 的受事者.

(=>
      (and
            (attribute ?OBJ ?ATTR)
            (instance ?ATTR ContestAttribute))
      (exists
            (?CONTEST)
            (and
                  (instance ?CONTEST Contest)
                  (or
                        (agent ?CONTEST ?OBJ)
                        (patient ?CONTEST ?OBJ)))))

If obj 是溶液的實例, then 液體的是 obj 的屬性.

(=>
      (instance ?OBJ Solution)
      (attribute ?OBJ Liquid))

obj 是物質的實例 if and only if there exists 物理狀態 attr so that attr 是 obj 的屬性.

(<=>
      (instance ?OBJ Substance)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR PhysicalState)
                  (attribute ?OBJ ?ATTR))))

If perception 是知覺的實例 and obj 是 perception 的受事者, then there exists 知覺屬性 prop so that prop 是 obj 的屬性.

(=>
      (and
            (instance ?PERCEPTION Perception)
            (patient ?PERCEPTION ?OBJ))
      (exists
            (?PROP)
            (and
                  (instance ?PROP PerceptualAttribute)
                  (attribute ?OBJ ?PROP))))

If obj 是食物的實例, then there exists 味覺屬性 attr so that attr 是 obj 的屬性.

(=>
      (instance ?OBJ Food)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR TasteAttribute)
                  (attribute ?OBJ ?ATTR))))

if 單色的是 obj 的屬性 and part 是 obj的 �~表部分 and color 是 part 的屬性 and color 是原色的實例,
then for all element holds: if element 是 obj的 �~表部分, then color 是 element 的屬性

(=>
      (and
            (attribute ?OBJ Monochromatic)
            (superficialPart ?PART ?OBJ)
            (attribute ?PART ?COLOR)
            (instance ?COLOR PrimaryColor))
      (forall
            (?ELEMENT)
            (=>
                  (superficialPart ?ELEMENT ?OBJ)
                  (attribute ?ELEMENT ?COLOR))))

If obj 是物體的實例, then 單色的是 obj 的屬性 or 多彩的是 obj 的屬性.

(=>
      (instance ?OBJ Object)
      (or
            (attribute ?OBJ Monochromatic)
            (attribute ?OBJ Polychromatic)))

If 多彩的是 obj 的屬性, then there exist part1,part2,顏色屬性 color1,顏色屬性 color2 so that part1 是 obj的 �~表部分 and part2 是 obj的 �~表部分 and color1 是 part1 的屬性 and color2 是 part2 的屬性 and color1 等於 color2.

(=>
      (attribute ?OBJ Polychromatic)
      (exists
            (?PART1 ?PART2 ?COLOR1 ?COLOR2)
            (and
                  (superficialPart ?PART1 ?OBJ)
                  (superficialPart ?PART2 ?OBJ)
                  (attribute ?PART1 ?COLOR1)
                  (attribute ?PART2 ?COLOR2)
                  (instance ?COLOR1 ColorAttribute)
                  (instance ?COLOR2 ColorAttribute)
                  (not
                        (equal ?COLOR1 ?COLOR2)))))

If there exists 形狀改變 change so that obj 是 change 的受事者, then 可變形的是 obj 的屬性.

(=>
      (exists
            (?CHANGE)
            (and
                  (instance ?CHANGE ShapeChange)
                  (patient ?CHANGE ?OBJ)))
      (attribute ?OBJ Pliable))

If obj 是自身連續物體的實例, then 可變形的是 obj 的屬性 or 不易彎曲的是 obj 的屬性.

(=>
      (instance ?OBJ SelfConnectedObject)
      (or
            (attribute ?OBJ Pliable)
            (attribute ?OBJ Rigid)))

If attribute 是（表面）質地屬性的實例 and attribute 是 obj 的屬性 and surface 是 obj 的表面, then attribute 是 surface 的屬性.

(=>
      (and
            (instance ?ATTRIBUTE TextureAttribute)
            (attribute ?OBJ ?ATTRIBUTE)
            (surface ?SURFACE ?OBJ))
      (attribute ?SURFACE ?ATTRIBUTE))

If 乾的是 obj 的屬性, then there doesn't exist subobj so that subobj 是 obj 的部分) and 液體的是 subobj 的屬性.

(=>
      (attribute ?OBJ Dry)
      (not
            (exists
                  (?SUBOBJ)
                  (and
                        (part ?SUBOBJ ?OBJ)
                        (attribute ?SUBOBJ Liquid)))))

if 濕的是 obj 的屬性,
then for all part holds: if part 是 obj 的部分), then there exists subpart so that subpart 是 part 的部分) and 液體的是 subpart 的屬性

(=>
      (attribute ?OBJ Wet)
      (forall
            (?PART)
            (=>
                  (part ?PART ?OBJ)
                  (exists
                        (?SUBPART)
                        (and
                              (part ?SUBPART ?PART)
                              (attribute ?SUBPART Liquid))))))

If 不易碎的是 obj 的屬性, then there doesn't exist 損害 damage so that obj 是 damage 的受事者.

(=>
      (attribute ?OBJ Unbreakable)
      (not
            (exists
                  (?DAMAGE)
                  (and
                        (instance ?DAMAGE Damaging)
                        (patient ?DAMAGE ?OBJ)))))

If att 是 org 的屬性 and att 是生物屬性的實例, then org 是生物體的實例.

(=>
      (and
            (attribute ?ORG ?ATT)
            (instance ?ATT BiologicalAttribute))
      (instance ?ORG Organism))

If organism 是生物體的實例 and process 是 organism 的施事者, then 活的是 organism 的屬性 "process 存在的時間"a(之中) process 存在的時間.

(=>
      (and
            (instance ?ORGANISM Organism)
            (agent ?PROCESS ?ORGANISM))
      (holdsDuring
            (WhenFn ?PROCESS)
            (attribute ?ORGANISM Living)))

If org 是生物體的實例, then there exists 有生屬性 attr so that attr 是 org 的屬性.

(=>
      (instance ?ORG Organism)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR AnimacyAttribute)
                  (attribute ?ORG ?ATTR))))

If body 是生殖構造的實例 and body 是 org 的部分) and org 是生物體的實例, then 雌性是 org 的屬性.

(=>
      (and
            (instance ?BODY ReproductiveBody)
            (part ?BODY ?ORG)
            (instance ?ORG Organism))
      (attribute ?ORG Female))

If animal 是動物的實例, then there exists 性別屬性 attr so that attr 是 animal 的屬性.

(=>
      (instance ?ANIMAL Animal)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR SexAttribute)
                  (attribute ?ANIMAL ?ATTR))))

If 完全形成的是 obj 的屬性, then there exists 生長 growth so that obj (沒) 體驗not(s) growth and 未完全形成的是 obj 的屬性 ""obj 存在的時間" 的 �}始"a(之中) "obj 存在的時間" 的 �}始.

(=>
      (attribute ?OBJ FullyFormed)
      (exists
            (?GROWTH)
            (and
                  (instance ?GROWTH Growth)
                  (experiencer ?GROWTH ?OBJ)
                  (holdsDuring
                        (BeginFn
                              (WhenFn ?OBJ))
                        (attribute ?OBJ NonFullyFormed)))))

If org 是生物體的實例, then there exists 發展屬性 attr so that attr 是 org 的屬性.

(=>
      (instance ?ORG Organism)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR DevelopmentalAttribute)
                  (attribute ?ORG ?ATTR))))

If 幼體的是 org 的屬性 timea(之中) time, then there exists 誕生 birth so that org (沒) 體驗not(s) birth "time 之前"a(之中) time 之前.

(=>
      (holdsDuring
            ?TIME
            (attribute ?ORG Larval))
      (holdsDuring
            (PastFn ?TIME)
            (exists
                  (?BIRTH)
                  (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?ORG)))))

If 胚胎的是 org 的屬性, then there exists 生殖構造 body so that org 位於 body.

(=>
      (attribute ?ORG Embryonic)
      (exists
            (?BODY)
            (and
                  (instance ?BODY ReproductiveBody)
                  (located ?ORG ?BODY))))

If 胚胎的是 org 的屬性 timea(之中) time, then there doesn't exist 誕生 birth so that org (沒) 體驗not(s) birth timea(之中) time.

(=>
      (holdsDuring
            ?TIME
            (attribute ?ORG Embryonic))
      (holdsDuring
            ?TIME
            (not
                  (exists
                        (?BIRTH)
                        (and
                              (instance ?BIRTH Birth)
                              (experiencer ?BIRTH ?ORG))))))

if attr 是心理屬性的實例,
then if attr 是 organism 的屬性 timea(之中) time, then 活的是 organism 的屬性 timea(之中) time

(=>
      (instance ?ATTR PsychologicalAttribute)
      (=>
            (holdsDuring
                  ?TIME
                  (attribute ?ORGANISM ?ATTR))
            (holdsDuring
                  ?TIME
                  (attribute ?ORGANISM Living))))

If attr 是心理屬性的實例 and attr 是 agent 的屬性, then agent 是能知覺的行為主體的實例.

(=>
      (and
            (instance ?ATTR PsychologicalAttribute)
            (attribute ?AGENT ?ATTR))
      (instance ?AGENT SentientAgent))

agent 是能知覺的行為主體的實例 and 活的是 agent 的屬性 if and only if there exists 意識屬性 attr so that attr 是 agent 的屬性.

(<=>
      (and
            (instance ?AGENT SentientAgent)
            (attribute ?AGENT Living))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR ConsciousnessAttribute)
                  (attribute ?AGENT ?ATTR))))