|
| (=> (instance ?C MedicalClinic) (not (exists (?B) (and (possesses ?C ?B) (instance ?B TemporaryResidence))))) |
Mid-level-ontology.kif 7685-7691 | |
| (=> (instance ?C Partnership) (exists (?H1 ?H2) (and (instance ?H1 Human) (instance ?H2 Human) (not (equal ?H1 ?H2)) (possesses ?H1 ?C) (possesses ?H2 ?C)))) |
Mid-level-ontology.kif 7243-7251 | |
| (=> (instance ?C Proprietorship) (exists (?H) (and (instance ?H Human) (possesses ?H ?C) (not (exists (?H2) (and (not (equal ?H ?H2)) (possesses ?H2 ?C))))))) |
Mid-level-ontology.kif 7335-7345 | |
| (=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER AutonomousAgent) (instance ?ITEM Physical) (instance ?ADVERT WebListing) (patient ?ADVERT ?ITEM) (patient ?SELLING ?ITEM) (causes ?SELLING ?CHARGE) (agent ?CHARGE ?OWNER) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (eCommerceSite ?SELLING ?OWNER)))) |
UXExperimentalTerms.kif 240-255 | |
| (=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER AutonomousAgent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER)))) |
UXExperimentalTerms.kif 209-218 | |
| (=> (instance ?D Dormitory) (exists (?S) (and (instance ?S School) (possesses ?S ?D)))) |
Mid-level-ontology.kif 7011-7016 | |
| (=> (instance ?FD FoodDistributionOperation) (exists (?FOOD ?CA) (and (instance ?FOOD (FoodForFn Animal)) (instance ?CA CognitiveAgent) (patient ?FD ?FOOD) (destination ?FD ?CA) (holdsDuring (ImmediateFutureFn (WhenFn ?FD)) (possesses ?CA ?FOOD))))) |
Military.kif 62-71 | |
| (=> (instance ?G PublicGarden) (exists (?GOV) (and (instance ?GOV Government) (possesses ?GOV ?G)))) |
Mid-level-ontology.kif 8226-8231 | |
| (=> (instance ?Investment Investment) (exists (?Investing ?Agent) (and (agent ?Investing ?Agent) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1771-1776 | |
| (=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B)))) |
Mid-level-ontology.kif 8494-8501 | |
| (=> (instance ?LAR LARUnit) (exists (?LAV) (and (instance ?LAV LAV) (possesses ?LAR ?LAV)))) |
MilitaryPersons.kif 532-537 | |
| (=> (instance ?LIST ListOnSite) (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER) (and (instance ?SITE WebSite) (instance ?ADVERT WebListing) (instance ?EARLIER TimeInterval) (instance ?AFTER TimeInterval) (patient ?LIST ?ADVERT) (equal (EndFn ?EARLIER) (EndFn ?LIST)) (earlier ?LIST ?AFTER) (meetsTemporally ?LIST ?AFTER) (holdsDuring ?EARLIER (not (hostedOn ?ADVERT ?SITE))) (holdsDuring ?AFTER (hostedOn ?ADVERT ?SITE)) (agent ?LIST ?OWNER) (possesses ?OWNER ?SITE)))) |
UXExperimentalTerms.kif 266-286 | |
| (=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) |
Mid-level-ontology.kif 8526-8533 | |
| (=> (instance ?MM (MerchantMarineFn ?AREA)) (exists (?REGISTER) (and (instance ?REGISTER ShipRegister) (possesses ?AREA ?REGISTER) (marineInventory ?MM ?REGISTER)))) |
Transportation.kif 1113-1119 | |
| (=> (instance ?MP AntiArmorPlatoon) (exists (?MG) (and (instance ?MG AntiArmorWeapon) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 603-608 | |
| (=> (instance ?MP HeavyMGPlatoon) (exists (?MG) (and (instance ?MG HeavyMachineGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 619-624 | |
| (=> (instance ?MP HeavyMGPlatoon) (exists (?MG) (and (instance ?MG MK19) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 628-633 | |
| (=> (instance ?MP MortarPlatoon) (exists (?MG) (and (instance ?MG MortarGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 556-561 | |
| (=> (instance ?MV MilitaryVehicle) (and (instance ?A MilitaryForce) (possesses ?A ?MV) (capability MilitaryProcess patient ?MV))) |
Military.kif 197-202 | |
| (=> (instance ?N BroadcastNetwork) (exists (?O) (and (instance ?O Organization) (forall (?M) (=> (member ?M ?N) (possesses ?O ?M)))))) |
Communications.kif 369-377 | |
| (=> (instance ?P PublicPark) (exists (?G) (and (instance ?G Government) (possesses ?G ?P)))) |
Mid-level-ontology.kif 8155-8160 | |
| (=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea)))) |
Mid-level-ontology.kif 7324-7329 | |
| (=> (instance ?STORE WebStore) (exists (?OWNER) (and (instance ?OWNER Human) (possesses ?OWNER ?STORE)))) |
UXExperimentalTerms.kif 2148-2153 | |
| (=> (instance ?SVC SafetyDepositService) (exists (?SAFE ?KEEP ?OBJ ?AGENT) (and (serviceProvider ?SVC ?AGENT) (instance ?SAFE SafeContainer) (instance ?KEEP Keeping) (located ?KEEP ?SAFE) (possesses ?AGENT ?SAFE) (patient ?KEEP ?OBJ) (subProcess ?KEEP ?SVC) (not (possesses ?AGENT ?OBJ))))) |
Hotel.kif 2262-2273 | |
| (=> (instance ?SVC ShuttleService) (exists (?LIST ?VEHICLE ?AGENT) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (instance ?VEHICLE Automobile) (instance ?LIST List) (forall (?X) (=> (inList ?X ?LIST) (and (instance ?X PostalPlace) (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?AGENT) (instrument ?TRANSPORT ?VEHICLE) (destination ?TRANSPORT ?X))))))))) |
Hotel.kif 2035-2053 | |
| 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