(=>
(approximateValue ?N1 ?N2)
(modalAttribute
(equal ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 31733-31737 |
|
(=>
(attribute ?H Pyelonephritis)
(modalAttribute
(exists (?B ?K)
(and
(instance ?B Bacterium)
(instance ?K Kidney)
(part ?K ?H)
(located ?B ?K))) Likely)) |
Medicine.kif 5072-5081 |
|
(=>
(attribute ?MR HipHopMusic)
(modalAttribute
(exists (?MM ?S)
(and
(record ?MR ?MM)
(instance ?S Speaking)
(subProcess ?S ?MM))) Likely)) |
Music.kif 729-736 |
|
(=>
(attribute ?MR IndieMusic)
(modalAttribute
(not
(exists (?R)
(recordingCompany ?MR ?R))) Likely)) |
Music.kif 743-748 |
|
(=>
(attribute ?O Translucent)
(modalAttribute
(not
(exists (?S ?A ?D)
(and
(instance ?S Seeing)
(agent ?S ?A)
(destination ?S ?D)
(between ?O ?A ?D)))) Likely)) |
Mid-level-ontology.kif 16513-16523 |
|
(=>
(attribute ?X CommunalAttribute)
(modalAttribute
(not
(attribute ?X PrivateAttribute)) Likely)) |
Mid-level-ontology.kif 29076-29079 |
|
(=>
(attribute ?X PrivateAttribute)
(modalAttribute
(not
(attribute ?X CommunalAttribute)) Likely)) |
Mid-level-ontology.kif 29071-29074 |
|
(=>
(browserID ?STRING ?BROWSER ?SITE)
(modalAttribute
(not
(exists (?BROWSER2)
(and
(instance ?BROWSER2 WebBrowser)
(browserID ?STRING ?BROWSER2 ?SITE)))) Likely)) |
UXExperimentalTerms.kif 750-758 |
|
(=>
(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 3709-3729 |
|
(=>
(equal
(MeasureFn
(PerFn
(MeasureFn ?F KilogramForce)
(MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
(VickersHardnessFn ?CLASS))
(modalAttribute
(exists (?SUB ?P ?D ?H ?S)
(and
(instance ?SUB ?CLASS)
(instance ?P Pushing)
(destination ?P ?SUB)
(instance ?D Diamond)
(shape ?D SquarePyramid)
(patient ?P ?D)
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?SUB)
(surface ?S ?H)
(totalArea ?S
(MeasureFn ?A SquareMillimeter))
(measure ?P
(MeasureFn ?F KilogramForce)))) Likely)) |
Mid-level-ontology.kif 10473-10494 |
|
(=>
(equal
(MeasureFn ?X PoundForce)
(JankaHardnessFn ?CLASS))
(modalAttribute
(exists (?T ?W ?P ?B ?H ?S)
(and
(instance ?T ?CLASS)
(part ?W ?T)
(instance ?W Wood)
(instance ?P Pushing)
(destination ?P ?W)
(instance ?B Ball)
(material ?B Steel)
(patient ?P ?B)
(sphereRadius ?B
(MeasureFn 5.64 Millimeter))
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?W)
(surface ?S ?W)
(distance ?S ?H
(MeasureFn 5.64 Millimeter))
(measure ?P
(MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10397-10420 |
- If equal a real number pound force(s) and The Janka Hardness of a kind of botanical tree is,
- then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
|
(=>
(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 3753-3773 |
|
(=>
(habitatOfOrganism ?O ?L)
(modalAttribute
(exists (?OI)
(and
(instance ?OI ?O)
(inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 32306-32313 |
|
(=>
(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 28574-28582 |
|
(=>
(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 3624-3637 |
|
(=>
(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 3652-3665 |
|
(=>
(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 3677-3690 |
|
(=>
(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 3703-3716 |
|
(=>
(holdsDuring ?T
(attribute ?A Anger))
(modalAttribute
(exists (?HF)
(and
(instance ?HF AngryFacialExpression)
(experiencer ?HF ?A)
(during
(WhenFn ?HF) ?T))) Likely)) |
emotion.kif 1244-1253 |
|
(=>
(holdsDuring ?T
(attribute ?A Disgust))
(modalAttribute
(exists (?FE)
(and
(instance ?FE DisgustedFacialExpression)
(experiencer ?FE ?A)
(during
(WhenFn ?FE) ?T))) Likely)) |
emotion.kif 1262-1271 |
|
(=>
(holdsDuring ?T
(attribute ?A Fear))
(believes ?A
(modalAttribute
(exists (?P)
(and
(not
(wants ?A ?P))
(before ?T
(WhenFn ?P)))) Likely))) |
emotion.kif 1025-1036 |
|
(=>
(holdsDuring ?T
(attribute ?A Fear))
(modalAttribute
(exists (?FE)
(and
(instance ?FE FearfulFacialExpression)
(experiencer ?FE ?A)
(during
(WhenFn ?FE) ?T))) Likely)) |
emotion.kif 1344-1353 |
|
(=>
(holdsDuring ?T
(attribute ?A Happiness))
(modalAttribute
(exists (?HF)
(and
(instance ?HF HappyFacialExpression)
(experiencer ?HF ?A)
(during
(WhenFn ?HF) ?T))) Likely)) |
emotion.kif 1226-1235 |
|
(=>
(holdsDuring ?T
(attribute ?A Sadness))
(modalAttribute
(exists (?FE)
(and
(instance ?FE SadFacialExpression)
(experiencer ?FE ?A)
(during
(WhenFn ?FE) ?T))) Likely)) |
emotion.kif 1325-1334 |
|
(=>
(holdsDuring ?T
(attribute ?A Surprise))
(modalAttribute
(exists (?FE)
(and
(instance ?FE SurprisedFacialExpression)
(experiencer ?FE ?A)
(during
(WhenFn ?FE) ?T))) Likely)) |
emotion.kif 1281-1290 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
