attribute

-------------------------


(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1470-1472 attribute オブジェクト and Shintoist member オブジェクト and Shinto
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1485-1487 attribute オブジェクト and Sikh member オブジェクト and Sikhism
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1394-1396 attribute オブジェクト and SunniMuslim member オブジェクト and SunniSect
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))		 People.kif 1500-1502 attribute オブジェクト and Taoist member オブジェクト and Taoism
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))		 People.kif 1515-1517 attribute オブジェクト and Zoroastrian member オブジェクト and Zoroastrianism
(<=>
    (attribute ?MUSIC PolyphonicMusic)
    (exists (?PART1 ?PART2)
        (and
            (instance ?MUSIC MakingMusic)
            (instance ?PART1 MakingMusic)
            (instance ?PART2 MakingMusic)
            (subProcess ?PART1 ?MUSIC)
            (subProcess ?PART2 ?MUSIC)
            (not
                (equal ?PART1 ?PART2))
            (cooccur ?PART1 ?MUSIC)
            (cooccur ?PART2 ?MUSIC))))		 Mid-level-ontology.kif 927-938 attribute オブジェクト and PolyphonicMusic 工程 工程 instance オブジェクト and MakingMusic instance 工程 and MakingMusic instance 工程 and MakingMusic subProcess 工程 and オブジェクト subProcess 工程 and オブジェクト equal 工程 and 工程 cooccur 工程 and オブジェクト cooccur 工程 and オブジェクト
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))		 Government.kif 1360-1364 attribute オブジェクト and Queen attribute オブジェクト and QueenRegnant attribute オブジェクト and QueenConsort
(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))		 Geography.kif 4408-4415 attribute オブジェクト and OpenSea 物理 instance エンティティー and 塩水地域 instance オブジェクト and LandlockedWater distance 物理, オブジェクト and 長さ測定 greaterThan 長さ測定 and MeasureFn 5 and NauticalMile
(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))		 Mid-level-ontology.kif 28289-28297 holdsDuring 時間位置 and attribute エンティティー and Barefoot holdsDuring 時間位置 and エンティティー instance エンティティー and Shoe wears エンティティー and エンティティー
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))		 Mid-level-ontology.kif 28301-28309 holdsDuring 時間位置 and attribute エンティティー and Naked holdsDuring 時間位置 and エンティティー instance エンティティー and 衣類 wears エンティティー and エンティティー
(<=>
    (holdsDuring ?T
        (attribute ?P Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 Agent)
                (instance ?SI SocialInteraction)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))		 Mid-level-ontology.kif 28374-28385 holdsDuring 時間位置 and attribute エンティティー and Alone エンティティー 工程 equal エンティティー and エンティティー instance エンティティー and 代理(人) instance 工程 and 社会的交流 involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))		 Mid-level-ontology.kif 28418-28426 holdsDuring 時間間隔 and attribute 代理(人) and Mute 工程 instance 工程 and Speaking during WhenFn 工程 and 時間間隔 agent 工程 and 代理(人)
(=>
    (and
        (attribute
            (GovernmentFn ?AREA) ?TYPE)
        (instance ?TYPE FormOfGovernment))
    (governmentType ?AREA ?TYPE))		 Government.kif 148-152
(=>
    (and
        (attribute ?A ?ATTR)
        (instance ?ATTR AlbumAttribute))
    (instance ?A Album))		 Music.kif 481-485
(=>
    (and
        (attribute ?ACCT ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?ACCT UserAccount))		 UXExperimentalTerms.kif 805-809
(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))		 Biography.kif 518-537
(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT Agent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))		 Government.kif 1734-1739
(=>
    (and
        (attribute ?AREA CommunistState)
        (instance ?AREA Nation))
    (economyType ?AREA CentrallyPlannedEconomy))		 Economy.kif 861-865
(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))		 Geography.kif 1695-1700
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 501-505
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))		 Geography.kif 1707-1712
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (exists (?GAME)
        (and
            (instance ?GAME Sport)
            (contestParticipant ?GAME ?ATHLETE))))		 Sports.kif 1213-1220
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))		 Sports.kif 1207-1211
(=>
    (and
        (attribute ?C Collectible)
        (hasPurpose ?C ?P))
    (exists (?H)
        (and
            (instance ?H Human)
            (wants ?H ?C)
            (desires ?H ?P2)
            (entails ?P2
                (possesses ?H ?C))
            (not
                (equal ?P ?P2)))))		 Mid-level-ontology.kif 27677-27689
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))		 Mid-level-ontology.kif 27606-27611

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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