modalAttribute
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
工程
は
LoggingIn
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
WebSite
は
エンティティー
の
patient
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
工程
は
LoggingIn
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
Computer
は
エンティティー
の
instrument
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?ORDER
Ordering
)
(
patient
?ORDER ?FORMULA))
(
modalAttribute
?FORMULA
Obligation
))
Merge.kif 13188-13192
工程
は
注文
の
instance
では %n
公式
は
工程
の
patient
では %n
ステートメント
公式
には
Obligation
の
modal
force
が ある
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
工程
は
CeliacDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
SmallIntestine
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
エンティティー
エンティティー
は
Diarrhoea
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
工程
は
エンティティー
を
cause
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
工程
は
CeliacDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
SmallIntestine
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
工程
は
オブジェクト
に
located
して %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
attribute
?H
Blind
))
Possibility
))
Mid-level-ontology.kif 8624-8635
オブジェクト
は
Poison
の
instance
では %n
motion
は
摂取
の
instance
では %n
moves
motion
and
オブジェクト
AutonomousAgent
が
motion
を
experience
s %n{ない}
ステートメント
Blind
は
AutonomousAgent
の
attribute
では %n は
motion
の
time
の existence の
after
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
ChildrenPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?CUST1)
(
and
(
customer
?CUST1 ?AGENT)
(
instance
?CUST1
HumanChild
)))
Possibility
))
(
containsInformation
?POLICY
(
not
(
modalAttribute
(
exists
(?CUST2)
(
and
(
customer
?CUST2 ?AGENT)
(
instance
?CUST2
HumanChild
)))
Possibility
)))))
Hotel.kif 2535-2553
Policy
は
ChildrenPolicy
の
instance
では %n
policyOwner
組織
and
Policy
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では %n には
Possibility
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では %n には
Possibility
の
modal
force
が ない %p{ある} の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
は
DailyHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
ステートメント
エンティティー
エンティティー
and
エンティティー
guest
エンティティー
and
組織
stays
エンティティー
and
エンティティー
エンティティー
は
stays
エンティティー
and
エンティティー
の
time
の existence と
equal
では %n
エンティティー
エンティティー
は
日
の
instance
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
は
エンティティー
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
Policy
は
NoHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2512-2528
Policy
は
PetPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Permission
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Prohibition
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?POLICY
SmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE1)
(
and
(
instance
?SMOKE1
Smoking
)
(
located
?SMOKE1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE2)
(
and
(
instance
?SMOKE2
Smoking
)
(
located
?SMOKE2 ?LOC)))
Prohibition
))))
Hotel.kif 2489-2505
Policy
は
SmokingPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Permission
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Prohibition
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
Policy
は
WithHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?PV
PhysicalViolence
)
(
agent
?PV ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?PV)
(
attribute
?A
Anger
))
Likely
))
emotion.kif 1646-1654
工程
は
PhysicalViolence
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
Anger
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?R
Renting
)
(
agent
?R ?A)
(
patient
?R ?O))
(
holdsDuring
(
WhenFn
?R)
(
modalAttribute
(
uses
?O ?A)
Permission
)))
Mid-level-ontology.kif 22426-22433
工程
は
Renting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
ステートメント
AutonomousAgent
は
エンティティー
を
use
s %n{ない} には
Permission
の
modal
force
が ある は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
は
Restaurant
の
instance
では %n
オブジェクト
は
DiningRoom
の
instance
では %n
PrivateAttribute
は
オブジェクト
の
attribute
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
工程
は
摂食
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
は
GroupOfPeople
の
instance
では %n
ステートメント
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
認識エージェント
は
エンティティー
と
equal
では
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
eventLocated
エンティティー
and
オブジェクト
は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
工程
は
Laughing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
Happiness
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
LegalSummons
)
(
patient
?S ?O)
(
destination
?S ?P))
(
exists
(?C ?T)
(
and
(
instance
?C
CourtRoom
)
(
containsInformation
?O
(
modalAttribute
(
holdsDuring
?T
(
located
?P ?C))
Law
)))))
Mid-level-ontology.kif 16227-16239
工程
は
LegalSummons
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
エンティティー
エンティティー
は
CourtRoom
の
instance
では %n
ContentBearingPhysical
は ステートメント
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない} には
Law
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
工程
は
SkinRash
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
エンティティー
エンティティー
は
Itching
の
instance
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない}
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
工程
は
Smiling
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
Happiness
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
工程
は
Spamming
の
instance
では %n
コレクション
は
GroupOfPeople
の
instance
では %n
memberCount
コレクション
and
整数
工程
は
コレクション
に
end
s %n{ない}
ステートメント
整数
は 100 より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
工程
は
Spamming
の
instance
では %n
工程
PAM は
工程
の
result
では %n
工程
は
Spam
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
は
工程
PAM を
want
s %n{ない} には
Likely
の
modal
force
が ない %p{ある}
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
工程
は
Speaking
の
instance
では %n
オブジェクト
は
Jaw
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
エンティティー
エンティティー
は
動作
の
instance
では %n
objectTransferred
エンティティー
and
オブジェクト
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
エンティティー
は
PlantStem
の
instance
では %n
エンティティー
は
PlantRoot
の
instance
では %n
ステートメント
エンティティー
は
Above
対
エンティティー
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
時間間隔
は
TimePeriod
の
instance
では %n
時間間隔
の
duration
は
実数
の
MinuteDuration
(s) では %n
実数
は 5.0 より
greater
では %n
エンティティー
は
人[人間]
の
instance
では %n
工程
工程
は
呼吸
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
エンティティー
は
工程
の
patient
では %n
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
は
エンティティー
の
time
の existence に
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 18291-18301
工程
は
Trespassing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
オブジェクト
を
possess
ない ステートメント
AutonomousAgent
は
オブジェクト
に
located
して %n には
Illegal
の
modal
force
が ある
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 3.0 is
open source software
produced by
Articulate Software
and its partners