consequent

(=>     (and         (instance ?E Entering)         (destination ?E ?F)         (attribute ?F PhysicallyRestrictedRegion)         (not             (entrance ?R ?F)))     (modalAttribute         (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7857-7865	If a process is an instance of entering and the process ends up at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
(=>     (and         (instance ?E Exiting)         (origin ?E ?F)         (attribute ?F PhysicallyRestrictedRegion)         (not             (entrance ?R ?F)))     (modalAttribute         (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7878-7886	If a process is an instance of exiting and the process originates at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
(=>     (and         (instance ?POLICY PetPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET1)                     (and                         (instance ?PET1 DomesticAnimal)                         (located ?PET1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET2)                     (and                         (instance ?PET2 DomesticAnimal)                         (located ?PET2 ?LOC))) Prohibition))))	Hotel.kif 2523-2539	If a policy is an instance of pet policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of domestic animal and the other entity is located at the object has the modal force of prohibition
(=>     (and         (instance ?POLICY SmokingPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE1)                     (and                         (instance ?SMOKE1 Smoking)                         (located ?SMOKE1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE2)                     (and                         (instance ?SMOKE2 Smoking)                         (located ?SMOKE2 ?LOC))) Prohibition))))	Hotel.kif 2500-2516	If a policy is an instance of smoking policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of smoking and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of smoking and the other entity is located at the object has the modal force of prohibition
(=>     (and         (instance ?W Transitway)         (attribute ?W UniDirectionalTraffic))     (exists (?P)         (and             (instance ?P Policy)             (confersNorm ?P                 (exists (?T1 ?A ?B)                     (and                         (instance ?T1 Transportation)                         (path ?T1 ?W)                         (instance ?A GeographicArea)                         (origin ?T1 ?A)                         (instance ?B GeographicArea)                         (destination ?T1 ?B)                         (holdsDuring                             (WhenFn ?T1)                             (exists (?T2)                                 (and                                     (instance ?T2 Transportation)                                     (path ?T2 ?W)                                     (origin ?T1 ?B)                                     (destination ?T1 ?A)                                     (not                                         (equal ?T1 ?T2))))))) Prohibition))))	Transportation.kif 3274-3298	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for prohibition
(=>     (confersNorm ?E ?F Permission)     (not         (confersNorm ?E ?F Prohibition)))	Law.kif 336-339	If an entity confers norm a formula for permission, then the entity doesn't confers norm the formula for prohibition
(=>     (prohibitedItem ?ITEM ?SITE)     (modalAttribute         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (eCommerceSite ?SELLING ?SITE))) Prohibition))	UXExperimentalTerms.kif 398-405	If an object is prohibited for sale on a web site, then the statement there exists an entity such that the entity is an instance of selling and the web site facilitates the entity has the modal force of prohibition

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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