(=>
(and
(instance ?E Entering)
(destination ?E ?F)
(attribute ?F PhysicallyRestrictedRegion)
(not
(entrance ?R ?F)))
(modalAttribute
(path ?E ?R) Prohibition)) |
Mid-level-ontology.kif 8016-8024 |
If X is an instance of entering, X ends up at Y, physically restricted region is an attribute of Y, and Z is the entrance for Y, then the statement Z is path along which X 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 8037-8045 |
If X is an instance of exiting, X originates at Y, physically restricted region is an attribute of Y, and Z is the entrance for Y, then the statement Z is path along which X occurs has the modal force of prohibition |
(=>
(and
(instance ?FBACCOUNT FacebookAccount)
(hasAccount ?USER ?FBACCOUNT))
(and
(age ?USER
(MeasureFn ?NUMBER YearDuration))
(modalAttribute
(not
(greaterThanOrEqualTo ?NUMBER 13)) Prohibition))) |
Facebook.kif 143-151 |
If X is an instance of Facebook account and Y has account X, then the age of Y is Z year duration(s) and the statement Z is not greater than or equal to 13 has the modal force of prohibition |
(=>
(and
(instance ?POLICY SmokingPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?SMOKE1)
(and
(instance ?SMOKE1 Smoking)
(located ?SMOKE1 ?LOC))) Permission))
(containsFormula ?POLICY
(modalAttribute
(exists (?SMOKE2)
(and
(instance ?SMOKE2 Smoking)
(located ?SMOKE2 ?LOC))) Prohibition)))) |
Hotel.kif 2507-2523 |
If X is an instance of smoking policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of smoking and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of smoking and W is located at Y has the modal force of prohibition |
(=>
(and
(instance ?POLICY PetPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsFormula ?POLICY
(modalAttribute
(exists (?PET1)
(and
(instance ?PET1 DomesticAnimal)
(located ?PET1 ?LOC))) Permission))
(containsFormula ?POLICY
(modalAttribute
(exists (?PET2)
(and
(instance ?PET2 DomesticAnimal)
(located ?PET2 ?LOC))) Prohibition)))) |
Hotel.kif 2530-2546 |
If X is an instance of pet policy and X covers Y, then X contains the formula the statement there exists Z such that Z is an instance of domestic animal and Z is located at Y has the modal force of permission or X contains the formula the statement there exists W such that W is an instance of domestic animal and W is located at Y has the modal force of prohibition |
(=>
(confersNorm ?E Permission ?F)
(not
(confersNorm ?E Prohibition ?F))) |
Law.kif 311-314 |
If X confers norm permission for Y, then X doesn't confers norm prohibition for Y |
(=>
(and
(instance ?W Transitway)
(attribute ?W UniDirectionalTraffic))
(exists (?P)
(and
(instance ?P Policy)
(confersNorm
(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 ?P)))) |
Transportation.kif 3818-3842 |
If X is an instance of transitway and unidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z confers norm prohibition for Y |
(=>
(prohibitedItem ?ITEM ?SITE)
(modalAttribute
(exists (?SELLING)
(and
(instance ?SELLING Selling)
(eCommerceSite ?SELLING ?SITE))) Prohibition)) |
UXExperimentalTerms.kif 398-405 |
If X is prohibited for sale on Y, then the statement there exists Z such that Z is an instance of selling and Y facilitates Z has the modal force of prohibition |
(=>
(and
(instance ?LIACCOUNT LinkedInAccount)
(hasAccount ?USER ?LIACCOUNT))
(and
(age ?USER
(MeasureFn ?NUMBER YearDuration))
(modalAttribute
(not
(greaterThanOrEqualTo ?NUMBER 18)) Prohibition))) |
LinkedInDegrees.kif 480-489 |
If X is an instance of LinkedIn account and Y has account X, then the age of Y is Z year duration(s) and the statement Z is not greater than or equal to 18 has the modal force of prohibition |
Prohibition
