|
| (=> (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 15140-15150 | |
| (=> (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 15124-15133 | |
| (=> (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 2353-2372 | |
| (=> (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 3691-3711 | |
| (=> (employeeContribution ?Agent ?Money ?Period) (exists (?Org ?Plan) (and (instance ?Plan PensionPlan) (employs ?Org ?Agent) (agent ?Plan ?Org) (destination ?Plan ?Agent)))) |
FinancialOntology.kif 3357-3364 | |
| (=> (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 | |
| (=> (exportPartner ?AGENT1 ?AGENT2) (exists (?EXPORT) (and (instance ?EXPORT Exporting) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2)))) |
Economy.kif 2379-2385 | |
| (=> (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 2359-2367 | |
| (=> (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 18666-18672 | |
| (=> (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 2666-2672 | |
| (=> (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 2647-2655 | |
| (=> (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 1310-1320 | |
| (=> (instance ?A Awarding) (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD) (and (instance ?RECIPIENT AutonomousAgent) (instance ?GIVER AutonomousAgent) (instance ?PROCESS Process) (instance ?AWARD Object) (agent ?PROCESS ?RECIPIENT) (agent ?A ?GIVER) (patient ?A ?AWARD) (destination ?A ?RECIPIENT) (causes ?PROCESS ?A)))) |
Mid-level-ontology.kif 18645-18657 | |
| (=> (instance ?ACT DownloadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (agent ?ACT ?COM) (destination ?ACT ?COM) (instance ?COM ComputerSystem) (instance ?DATA DigitalData)))) |
ComputerInput.kif 2684-2692 | |
| (=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A))))) |
Cars.kif 973-983 | |
| (=> (instance ?AOC AOCnumber) (exists (?G ?AIRLINE) (and (instance ?G Giving) (agent ?G FederalAviationAdministration) (destination ?G ?AIRLINE) (patient ?G ?AOC)))) |
Transportation.kif 3179-3186 | |
| (=> (instance ?AT ApplyingTourniquet) (exists (?A ?P ?T) (and (instance ?A Agent) (instance ?P Mammal) (holdsDuring (WhenFn ?AT) (attribute ?T Tourniquet)) (destination ?AT ?P) (agent ?AT ?A) (objectTransferred ?AT ?T)))) |
Medicine.kif 67-78 | |
| (=> (instance ?B Mailbox) (hasPurpose ?B (exists (?M ?I) (and (instance ?M Mailing) (patient ?M ?I) (destination ?M ?B))))) |
Mid-level-ontology.kif 4180-4187 | |
| (=> (instance ?BP BrakePedal) (hasPurpose ?BP (exists (?PU) (and (instance ?PU Pushing) (destination ?PU ?BP))))) |
Cars.kif 685-691 | |
| (=> (instance ?C Cappuccino) (exists (?E ?M ?P) (and (instance ?E Espresso) (instance ?M MilkFoam) (instance ?P Pouring) (patient ?P ?M) (destination ?P ?E) (result ?P ?C)))) |
Food.kif 1269-1278 | |
| 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