(=>
(and
(instance ?SOUND RadiatingSound)
(agent ?SOUND ?OBJ)
(attribute ?SOUND Audible))
(exists (?HUMAN ?HEAR)
(and
(instance ?HUMAN Human)
(capability
(KappaFn ?HEAR
(and
(instance ?HEAR Hearing)
(agent ?HEAR ?HUMAN)
(destination ?HEAR ?HUMAN)
(origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 13764-13778 |
|
(=>
(and
(instance ?VISITS Collection)
(instance ?PURCHASES Collection)
(subCollection ?PURCHASES ?VISITS)
(forall (?MEMBER)
(=>
(member ?MEMBER ?VISITS)
(instance ?MEMBER AccessingWebPage)))
(forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(and
(instance ?VISITOR Human)
(instance ?BUYING Buying)
(instance ?ACCESSING AccessingWebPage)
(instance ?PAGE WebPage)
(member ?ACCESSING ?VISITS)
(destination ?ACCESSING ?PAGE)
(agent ?BUYING ?VISITOR)
(agent ?ACCESSING ?VISITOR)
(during
(WhenFn ?BUYING)
(WhenFn ?ACCESSING))
(instrument ?BUYING ?PAGE))
(member ?BUYING ?PURCHASES))))
(exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(equal
(SCRFn ?VISITS ?INTERVAL)
(DivisionFn
(CardinalityFn
(KappaFn ?PURCHASE_IN_INTERVAL
(and
(member ?PURCHASE_IN_INTERVAL ?PURCHASES)
(during
(WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(CardinalityFn
(KappaFn ?VISIT_IN_INTERVAL
(and
(member ?VISIT_IN_INTERVAL ?VISITS)
(during
(WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))) |
UXExperimentalTerms.kif 3668-3704 |
- Wenn Ansammlung ist ein fall von Ansammlung und ** Ansammlung ist ein fall von Ansammlung und ** ** Ansammlung ist eine korrekte teilsammlung von ** Ansammlung und fuer alle koerperlicher Gegenstand und fuer alle Prozess, AutonomousAgent,, , ** Prozess,, , ** Prozess, and und Gegenstand ,
- dann es gibt Zeitabstand, Wesen_IN_INTERVAL, and und ** Wesen_IN_INTERVAL um SCRFn ** Ansammlung and ** Zeitabstand ist gleich die Zahl Faellen in die kategorie die ** Wesen_IN_INTERVAL beschreibt und die Zahl Faellen in die kategorie die ** ** Wesen_IN_INTERVAL beschreibt
|
(=>
(and
(instance ?X Respirator)
(instance ?PERSON Animal)
(wears ?PERSON ?X))
(hasPurpose ?X
(exists (?INHAL ?INJ ?PROTECT ?I)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?X)
(prevents ?PROTECT ?INJ)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?H)
(and
(instance ?H Human)
(patient ?I ?H)
(instance ?INHAL Inhaling)
(agent ?INHAL ?H)
(causes ?I ?INHAL)))))))))) |
Cars.kif 3592-3613 |
|
(=>
(and
(maximumPayloadCapacity ?V
(MeasureFn ?WEIGHT ?UNITWEIGHT))
(maximumPayloadHeightWidth ?V
(MeasureFn ?HEIGHT ?UNITHEIGHT)
(MeasureFn ?WIDTH ?UNITWIDTH))
(instance ?O SelfConnectedObject)
(weight ?O
(MeasureFn ?WEO ?WEOU))
(width ?O
(MeasureFn ?WO ?WOU))
(height ?O
(MeasureFn ?HO ?HOU))
(equal ?WEOU ?UNITWEIGHT)
(equal ?WOU ?UNITWIDTH)
(equal ?HOU ?UNITHEIGHT)
(lessThanOrEqualTo ?WEO ?WEIGHT)
(lessThanOrEqualTo ?WO ?WIDTH)
(lessThanOrEqualTo ?HO ?HEIGHT))
(capability
(KappaFn ?TRANSPORT
(and
(instance ?TRANSPORT Transportation)
(patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 |
|
(=>
(and
(property ?Option Option)
(optionHolder ?Option ?Agent)
(strikePrice ?Option ?Price)
(agreementExpirationDate ?Option ?ExpDate)
(price ?Stocks ?Price ?Time)
(instance ?Time TimeInterval)
(before
(EndFn ?Time)
(BeginFn ?ExpDate))
(underlier ?Option ?Stocks))
(holdsRight
(KappaFn ?Sell
(and
(instance ?Sell Selling)
(patient ?Sell ?Stocks)
(time ?Sell ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Sell ?Agent))) ?Agent)) |
FinancialOntology.kif 2686-2702 |
|
(=>
(and
(property ?Option Option)
(optionHolder ?Option ?Agent)
(strikePrice ?Option ?Price)
(agreementExpirationDate ?Option ?ExpDate)
(underlier ?Option ?Stocks)
(price ?Stocks ?Price ?Time)
(instance ?Time TimeInterval)
(before
(EndFn ?Time)
(BeginFn ?ExpDate)))
(holdsRight
(KappaFn ?Buy
(and
(instance ?Buy Buying)
(patient ?Buy ?Stocks)
(time ?Buy ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2640-2656 |
|
(=>
(and
(property ?Option Option)
(optionSeller ?Option ?Agent)
(strikePrice ?Option ?Price)
(agreementExpirationDate ?Option ?ExpDate)
(price ?Stocks ?Price ?Time)
(instance ?Time TimeInterval)
(before
(EndFn ?Time)
(BeginFn ?ExpDate))
(underlier ?Option ?Stocks))
(holdsObligation
(KappaFn ?Buy
(and
(instance ?Buy Buying)
(patient ?Buy ?Stocks)
(time ?Buy ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2704-2720 |
|
(=>
(and
(property ?Option Option)
(optionSeller ?Option ?Seller)
(strikePrice ?Option ?Price)
(agreementExpirationDate ?Option ?ExpDate)
(underlier ?Option ?Stocks)
(price ?Stocks ?Price ?Time)
(instance ?Time TimeInterval)
(before
(EndFn ?Time)
(BeginFn ?ExpDate)))
(holdsObligation
(KappaFn ?Sell
(and
(instance ?Sell Selling)
(patient ?Sell ?Stocks)
(time ?Sell ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Sell ?Agent))) ?Seller)) |
FinancialOntology.kif 2658-2676 |
|
(=>
(atomicNumber ?TYPE ?NUMBER)
(=>
(and
(instance ?SUBSTANCE ?TYPE)
(part ?ATOM ?SUBSTANCE)
(instance ?ATOM Atom))
(equal ?NUMBER
(CardinalityFn
(KappaFn ?PROTON
(and
(part ?PROTON ?ATOM)
(instance ?PROTON Proton))))))) |
Merge.kif 13931-13943 |
|
(=>
(attribute ?X Celebrity)
(exists (?A)
(greaterThan
(CardinalityFn
(KappaFn ?A
(acquaintance ?A ?X))) 1000))) |
Mid-level-ontology.kif 23816-23823 |
|
(=>
(communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)
(equal ?INTEGER
(CardinalityFn
(KappaFn ?SATELLITE
(and
(instance ?SATELLITE ?SATELLITETYPE)
(instance ?SYSTEM CommunicationSystem)
(located ?SYSTEM ?AREA)
(engineeringSubcomponent ?SATELLITE ?SYSTEM)))))) |
Communications.kif 142-151 |
|
(=>
(electronNumber ?SUBSTANCE ?NUMBER)
(=>
(exists (?ATOM)
(and
(part ?ATOM ?SUBSTANCE)
(or
(instance ?ATOM Atom)
(instance ?ATOM Molecule))))
(exists (?ELECTRON)
(equal ?NUMBER
(CardinalityFn
(KappaFn ?ELECTRON
(and
(part ?ELECTRON ?ATOM)
(instance ?ELECTRON Electron)))))))) |
Mid-level-ontology.kif 23330-23345 |
|
(=>
(equal ?WKBMC
(WeekBeforeMenstruationFn ?W))
(equal ?WKBC
(KappaFn ?C
(and
(instance ?C Week)
(exists (?M)
(and
(instance ?M Menstruation)
(experiencer ?M ?W)
(equal ?C
(WeekBeforeFn
(WhenFn ?M))))))))) |
Medicine.kif 1514-1527 |
|
(=>
(exactCardinality ?REL ?ARG ?COUNT)
(exists (?EL @ARGS)
(equal
(CardinalityFn
(KappaFn ?EL
(and
(?REL @ARGS)
(equal ?EL
(ListOrderFn
(ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2127-2136 |
|
(=>
(grossMerchandiseBoughtInPeriod ?A ?O ?CM ?TP)
(and
(monetaryValue ?CI ?CM)
(instance ?CI
(KappaFn ?COL
(and
(instance ?B Buying)
(instance ?ITEM ?COL)
(agent ?B ?A)
(patient ?B ?ITEM)
(patient ?B ?O)
(during ?B ?TP)))))) |
ComputerInput.kif 2977-2989 |
|
(=>
(grossMerchandiseSoldInPeriod ?A ?O ?CM ?TP)
(and
(monetaryValue ?CI ?CM)
(instance ?CI
(KappaFn ?COL
(and
(instance ?S Selling)
(instance ?ITEM ?COL)
(agent ?S ?A)
(patient ?S ?ITEM)
(patient ?S ?O)
(during ?S ?TP)))))) |
ComputerInput.kif 3001-3013 |
|
(=>
(holdsDuring ?T
(attribute ?X SafetyPosition))
(holdsDuring ?T
(hasPurpose ?X
(exists (?P ?H ?I ?T2)
(and
(instance ?H Human)
(instance ?P Process)
(patient ?P ?H)
(agent ?P ?X)
(prevents ?P
(KappaFn ?I
(and
(instance ?I Injuring)
(=>
(holdsDuring ?T2
(experiencer ?I ?H))
(not
(holdsDuring ?T2
(patient ?P ?H)))))))))))) |
Mid-level-ontology.kif 32641-32661 |
|
(=>
(instance ?ANTIBIOTIC Antibiotic)
(exists (?KILL ?BACTERIUM)
(capability
(KappaFn ?KILL
(and
(instance ?KILL Killing)
(patient ?KILL ?BACTERIUM)
(instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))) |
WMD.kif 1264-1272 |
|
(=>
(instance ?BOX Box)
(equal
(CardinalityFn
(KappaFn ?SIDE
(or
(top ?SIDE ?BOX)
(bottom ?SIDE ?BOX)
(side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 4921-4929 |
|
(=>
(instance ?C Cube)
(equal
(CardinalityFn
(KappaFn ?F
(faceOfFigure ?F ?C))) 6)) |
Mid-level-ontology.kif 5415-5420 |
|
(=>
(instance ?CAR PassengerRailcar)
(exists (?CARRY)
(capability
(KappaFn ?CARRY
(and
(instance ?CARRY Transportation)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(patient ?CARRY ?HUMAN))))) instrument ?CAR))) |
Transportation.kif 2302-2312 |
|
(=>
(instance ?Loan PiggybankLoan)
(equal
(CardinalityFn
(KappaFn ?Lender
(lender ?Loan ?Lender))) 2)) |
FinancialOntology.kif 1604-1606 |
|
(=>
(instance ?P Polyhedron)
(greaterThanOrEqualTo
(CardinalityFn
(KappaFn ?F
(faceOfFigure ?F ?P))) 4)) |
Mid-level-ontology.kif 5323-5328 |
|
(=>
(instance ?P SquarePyramid)
(equal
(CardinalityFn
(KappaFn ?F
(faceOfFigure ?F ?P))) 4)) |
Mid-level-ontology.kif 5400-5405 |
|
(=>
(instance ?PE ProtectiveEyewear)
(hasPurpose ?PE
(=>
(exists (?PERSON)
(and
(instance ?PERSON Human)
(wears ?PERSON ?PE)))
(exists (?PROTECT ?EYE ?INJ ?I ?T)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?PE)
(subclass ?INJ
(KappaFn ?I
(exists (?HUMAN)
(and
(instance ?I Injuring)
(instance ?EYE Eye)
(instance ?HUMAN Human)
(properPart ?EYE ?HUMAN)
(patient ?I ?EYE)
(=>
(holdsDuring ?T
(patient ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROTECT ?PERSON))))))))
(prevents ?PROTECT ?INJ)))))) |
Cars.kif 3543-3570 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
