modalAttribute |
(=> (browserID ?STRING ?BROWSER ?SITE) (modalAttribute (not (exists (?BROWSER2) (and (instance ?BROWSER2 WebBrowser) (browserID ?STRING ?BROWSER2 ?SITE)))) Likely)) |
UXExperimentalTerms.kif 750-758 | |
(=> (capability ?PROCESS ?ROLE ?OBJ) (modalAttribute (exists (?P) (and (instance ?P ?PROCESS) (?ROLE ?P ?OBJ))) Possibility)) |
Merge.kif 3918-3924 | |
(=> (capacityByArrangement ?AREA ?PROP ?INT) (=> (represents ?AREA ?PROP) (modalAttribute (exists (?GRP ?PPL) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?INT) (located ?GRP ?AREA))) Possibility))) |
Hotel.kif 790-800 | |
(=> (checkInTime ?HOTEL ?TIME) (modalAttribute (exists (?T ?C) (and (instance ?T ?TIME) (instance ?C CheckInService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))) Unlikely)) |
Hotel.kif 667-675 | |
(=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?SELLER ?CUSTOMER) (and (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?CUSTOMER ?AGREE) (modalAttribute (exists (?R ?O) (and (instance ?R Renting) (instance ?O ?OBJ) (patient ?R ?O) (agent ?R ?SELLER) (destination ?R ?CUSTOMER))) Obligation)))) |
Catalog.kif 513-526 | |
(=> (dayPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 6) (lessThan ?Num 18) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3691-3711 | |
(=> (defaultMaximumHeight ?OBJECT (MeasureFn ?H ?U)) (modalAttribute (exists (?INST ?HEIGHT) (and (instance ?INST ?OBJECT) (height ?INST (MeasureFn ?HEIGHT ?U)) (greaterThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13364-13373 | |
(=> (defaultMaximumLength ?O (MeasureFn ?L ?U)) (modalAttribute (exists (?INST ?LENGTH) (and (instance ?INST ?O) (length ?INST (MeasureFn ?LENGTH ?U)) (greaterThan ?LENGTH ?U))) Unlikely)) |
Mid-level-ontology.kif 13430-13439 | |
(=> (defaultMaximumWidth ?OBJECT (MeasureFn ?W ?U)) (modalAttribute (exists (?INST ?WIDTH) (and (instance ?INST ?OBJECT) (width ?INST (MeasureFn ?WIDTH ?U)) (greaterThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 13397-13406 | |
(=> (defaultMinimumHeight ?OBJECT (MeasureFn ?H ?U)) (modalAttribute (exists (?INST ?HEIGHT) (and (instance ?INST ?OBJECT) (height ?INST (MeasureFn ?HEIGHT ?U)) (lessThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13348-13356 | |
(=> (defaultMinimumLength ?OBJECT (MeasureFn ?L ?U)) (modalAttribute (exists (?INST ?LENGTH) (and (instance ?INST ?OBJECT) (length ?INST (MeasureFn ?LENGTH ?U)) (lessThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 13414-13422 | |
(=> (defaultMinimumWidth ?OBJECT (MeasureFn ?W ?U)) (modalAttribute (exists (?INST ?WIDTH) (and (instance ?INST ?OBJECT) (width ?INST (MeasureFn ?WIDTH ?U)) (lessThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 13381-13389 | |
(=> (diseaseCandidate ?H ?D) (exists (?DOC) (believes ?DOC (modalAttribute (attribute ?H ?D) Possibility)))) |
Medicine.kif 1939-1945 | |
(=> (distrusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Unlikely))) |
Law.kif 422-430 | |
(=> (dressCode ?CODE ?AGENT) (modalAttribute (exists (?OUTFIT ?T) (and (instance ?OUTFIT Outfit) (subjectiveAttribute ?OUTFIT ?CODE ?AGENT) (holdsDuring ?T (forall (?CUST ?ITEM) (and (customer ?CUST ?AGENT) (locatedAtTime ?CUST ?T ?AGENT) (member ?ITEM ?OUTFIT) (wears ?CUST ?ITEM)))))) Obligation)) |
Dining.kif 492-505 | |
(=> (equal ?TIME (WhenFn (stored ?O ?D))) (holdsDuring ?TIME (modalAttribute (exists (?P) (patient ?P ?O)) Possibility))) |
Mid-level-ontology.kif 14369-14374 | |
(=> (eveningPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 18) (lessThan ?Num 6) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3735-3755 | |
(=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 30376-30383 | |
(=> (hasUniform ?GRP ?UNIFORM) (modalAttribute (exists (?PERS ?CLOTHING ?TIME) (and (member ?PERS ?GRP) (instance ?CLOTHING ?UNIFORM) (holdsDuring ?TIME (wears ?PERS ?CLOTHING)))) Likely)) |
Mid-level-ontology.kif 26663-26671 | |
(=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility)) |
Geography.kif 5876-5885 | |
(=> (holdsDuring ?T (and (instance ?ICU IntensiveCareUnit) (stays ?H ?ICU))) (modalAttribute (exists (?D) (and (instance ?D Death) (finishes (WhenFn ?D) ?T))) Possibility)) |
Mid-level-ontology.kif 20567-20577 | |
(=> (holdsDuring ?T (and (maxDeviceOperatingTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOn) (airTemperature ?A (MeasureFn ?T2 ?U)) (greaterThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3629-3642 | |
(=> (holdsDuring ?T (and (maxDeviceStorageTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOff) (airTemperature ?A (MeasureFn ?T2 ?U)) (greaterThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3657-3670 | |
(=> (holdsDuring ?T (and (minDeviceOperatingTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOn) (airTemperature ?A (MeasureFn ?T2 ?U)) (lessThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3682-3695 | |
(=> (holdsDuring ?T (and (minDeviceStorageTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOff) (airTemperature ?A (MeasureFn ?T2 ?U)) (lessThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3708-3721 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |