|
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY AutonomousAgent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3102-3114 | |
| (=> (and (suppliesBlood ?AC ?BPC) (instance ?A ?AC) (instance ?BP ?BPC)) (hasPurpose ?A (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (destination ?BF ?BP))))) |
Anatomy.kif 1988-1999 | |
| (=> (and (viewedItemList ?USER ?LIST) (inList ?ACCESSING ?LIST)) (and (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER) (exists (?DEST) (and (instance ?DEST WebPage) (destination ?ACCESSING WebPage))))) |
UXExperimentalTerms.kif 771-781 | |
| (=> (attribute ?H Valet) (hasPurpose ?H (and (instance ?VEHICLE Vehicle) (instance ?PUT Putting) (destination ?PUT ?PARK) (instance ?PARK ParkingRegion) (patient ?PUT ?VEHICLE) (agent ?PUT ?H)))) |
TransportDetail.kif 136-145 | |
| (=> (attribute ?M CoinOperated) (hasPurpose ?M (exists (?C ?FT ?A ?ACT) (and (instance ?C CurrencyCoin) (instance ?FT FinancialTransaction) (destination ?FT ?M) (patient ?FT ?C) (origin ?FT ?A) (causes ?FT ?ACT) (wants ?A ?ACT))))) |
Mid-level-ontology.kif 31395-31406 | |
| (=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT ?S ?OBJ) (and (instance ?EMIT RadiatingLight) (resource ?EMIT ?S) (destination ?EMIT ?OBJ) (between ?S ?O ?OBJ) (holdsDuring (WhenFn ?EMIT) (attribute ?OBJ Illuminated)))) Possibility)) |
Mid-level-ontology.kif 16525-16537 | |
| (=> (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 ?O Transparent) (modalAttribute (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) Possibility)) |
Mid-level-ontology.kif 16497-16506 | |
| (=> (attribute ?X ArtsAndRecreationTicketingServices) (hasPurpose ?X (exists (?SELL ?TICKET ?CUST) (and (instance ?SELL Selling) (patient ?SELL ?TICKET) (agent ?SELL ?X) (instance ?TICKET Ticket) (destination ?SELL ?CUST) (hasPurpose ?TICKET (confersRight (exists (?WATCH ?PERF) (and (instance ?WATCH Seeing) (agent ?WATCH ?CUST) (patient ?WATCH ?PERF) (or (instance ?PERF Performance) (instance ?PERF Sport)))) ?X ?CUST)))))) |
Hotel.kif 2364-2383 | |
| (=> (attribute ?X GamblingIndustries) (hasPurpose ?X (exists (?GAME ?BET) (and (instance ?GAME Game) (agent ?GAME ?X) (instance ?BET Betting) (destination ?BET ?X) (subProcess ?BET ?GAME))))) |
naics.kif 11478-11487 | |
| (=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT)))) |
UXExperimentalTerms.kif 736-748 | |
| (=> (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 3709-3729 | |
| (=> (employeeContribution ?Agent ?Money ?Period) (exists (?Org ?Plan) (and (instance ?Plan PensionPlan) (employs ?Org ?Agent) (agent ?Plan ?Org) (destination ?Plan ?Agent)))) |
FinancialOntology.kif 3374-3381 | |
| (=> (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 | |
| (=> (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 | |
| (=> (exportPartner ?AGENT1 ?AGENT2) (exists (?EXPORT) (and (instance ?EXPORT Exporting) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2)))) |
Economy.kif 2619-2625 | |
| (=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2)))) |
Economy.kif 2599-2607 | |
| (=> (fulfillingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (destination ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 689-695 | |
| (=> (hasAward ?RECIPIENT ?AWARD) (exists (?A) (and (instance ?A Awarding) (destination ?A ?RECIPIENT) (patient ?A ?AWARD)))) |
Mid-level-ontology.kif 20237-20243 | |
| (=> (holdsDuring ?TIME (attribute ?T Tourniquet)) (exists (?P ?B ?A) (and (instance ?P Human) (instance ?B Bleeding) (instance ?A Attaching) (experiencer ?B ?P) (destination ?A ?P) (objectTransferred ?A ?T) (hasPurpose ?T (not (exists (?B2) (and (instance ?B2 Bleeding) (overlapsTemporally (WhenFn ?B2) (ImmediateFutureFn (WhenFn ?A))) (experiencer ?B2 ?P)))))))) |
Medicine.kif 20-39 | |
| (=> (importPartner ?AGENT1 ?AGENT2) (exists (?EXPORT) (and (instance ?EXPORT Exporting) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1)))) |
Economy.kif 3003-3009 | |
| (=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1)))) |
Economy.kif 2984-2992 | |
| (=> (instance ?A Americano) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90 CelsiusDegree)) (destination ?P ?E) (instance ?E Espresso) (result ?P ?A)))) |
Food.kif 1311-1321 | |
| 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