(=>
(and
(instance ?REQUEST ViewItemRequest)
(instance ?ACCESSING AccessingWebPage)
(instance ?PAGE ViewItemPage)
(instance ?AGENT AutonomousAgent)
(instance ?LISTING Advertising)
(subProcess ?ACCESSING ?REQUEST)
(component ?PAGE ?LISTING)
(destination ?ACCESSING ?PAGE)
(agent ?ACCESSING ?AGENT))
(viewedListing ?AGENT ?LISTING)) |
UXExperimentalTerms.kif 1570-1581 |
|
(=>
(and
(instance ?T Tornado)
(instance ?R Rotating)
(instance ?A Air)
(instance ?TRAN Translocation)
(subProcess ?R ?T)
(subProcess ?TRAN ?R)
(patient ?TRAN ?A)
(direction ?TRAN Horizontal))
(exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(and
(instance ?G GeographicArea)
(eventLocated ?T ?G)
(part ?FUNNEL ?A)
(attribute ?FUNNEL ConeSegment)
(top ?TOP ?FUNNEL)
(bottom ?BOTTOM ?FUNNEL)
(instance ?C Cloud)
(bottom ?BASE ?C)
(meetsSpatially ?TOP ?BASE)
(meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 1651-1672 |
- Wenn Process ist ein fall von Tornado %n{nicht} und ** Process ist ein fall von Rotating %n{nicht} und Object ist ein fall von Air %n{nicht} und ** ProcessRAN ist ein fall von Translocation %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ProcessRAN ist ein subProzess von ** ** Process und ** Object ist ein patient von ** ProcessRAN %n{nicht} und Wesen bei ** ProcessRAN bewegen Horizontal,
- dann es gibt ** Object, SelfConnectedObject,, , ** ProcessOP,, , ** SelfConnectedObject,, , ** SelfConnectedObject, and und ** SelfConnectedObject um ** ** Object ist ein fall von GeographicArea %n{nicht} und eventLocated ** Process and ** ** Object und ** SelfConnectedObject ist ein teil von ** Object %n{nicht} und ConeSegment ist ein attribut von ** SelfConnectedObject %n{nicht} und die oberseite von ** SelfConnectedObject ist ** ProcessOP und die unterseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject ist ein fall von Cloud %n{nicht} und die unterseite von ** ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ProcessOP schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject schliesst ** ** Object raeumlich an
|
(=>
(and
(instance ?TEST MultivariateTest)
(subProcess ?EXPERIMENT1 ?TEST)
(subProcess ?EXPERIMENT2 ?TEST)
(instance ?EXPERIMENT1 Experimenting)
(instance ?EXPERIMENT2 Experimenting)
(instance ?VARIABLE1 Process)
(instance ?VARIABLE2 Process)
(experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1)
(experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2))
(exists (?PROCESS)
(and
(instance ?PROCESS Process)
(subProcess ?VARIABLE1 ?PROCESS)
(subProcess ?VARIABLE2 ?PROCESS)
(not
(equal ?VARIABLE1 ?VARIABLE2))))) |
UXExperimentalTerms.kif 4501-4518 |
|
(=>
(and
(instance ?TRANSPORT Transportation)
(subProcess ?TRANSPORT ?DRIVE)
(instance ?DRIVE Driving)
(instrument ?TRANSPORT ?VEHICLE)
(instance ?VEHICLE TransportationDevice))
(patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 23556-23563 |
|
(=>
(and
(instance ?WN
(NetworkCommunicationFn BluetoothNetwork))
(instance ?R RadiatingElectromagnetic)
(subProcess ?R ?WN)
(carrierFrequency ?R
(MeasureFn ?W
(GigaFn Hertz))))
(and
(greaterThan ?W 2.4)
(lessThan ?W 2.485))) |
ComputingBrands.kif 1579-1588 |
|
(=>
(and
(paidRoomAmenity ?ROOM ?PROC)
(subclass ?PROC Process)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(patient ?P ?GUEST)
(or
(instance ?P ?PROC)
(and
(instance ?S ?PROC)
(subProcess ?P ?S)))
(located ?P ?R))
(exists (?PRICE ?U)
(and
(price ?P
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 419-438 |
|
(=>
(and
(subProcess ?S1 ?P)
(subProcess ?S2 ?P))
(relatedEvent ?S1 ?S2)) |
Merge.kif 3770-3774 |
|
(=>
(subProcess ?SUBPROC ?PROC)
(temporalPart
(WhenFn ?SUBPROC)
(WhenFn ?PROC))) |
Merge.kif 10107-10109 |
|