Merge pull request #396 from ontologyportal/J20241029

new terms and wordnet mapping

WordNetMappings/WordNetMappings30-noun.txt

@@ -14635,7 +14635,7 @@
 02730568 06 n 02 appointment 0 fitting 1 003 @ 03405265 n 0000 ;u 06295235 n 0000 + 02339413 v 0202 | (usually plural) furnishings and equipment (especially for a ship or hotel) &%Artifact+
 02730748 06 n 02 approach_trench 0 communication_trench 0 001 @ 04478657 n 0000 | a trench that provides protected passage between the rear and front lines of a defensive position &%LandTransitway+
 02730930 06 n 01 apron 0 003 @ 04015204 n 0000 %p 02731251 n 0000 %p 02834397 n 0000 | a garment of cloth or leather or plastic that is tied about the waist and worn to protect your clothing &%Apron+
-02731123 06 n 01 apron 1 002 @ 03900509 n 0000 #p 02687992 n 0000 | a paved surface where aircraft stand while not being used &%StationaryArtifact+
+02731123 06 n 01 apron 1 002 @ 03900509 n 0000 #p 02687992 n 0000 | a paved surface where aircraft stand while not being used &%AirportApron=
 02731251 06 n 01 apron_string 0 002 @ 03106110 n 0000 #p 02730930 n 0000 | (usually used in the plural) a cord used to tie an apron at the waist &%Device+
 02731398 06 n 02 apse 0 apsis 0 004 @ 04061969 n 0000 #p 03028079 n 0000 + 02636261 a 0101 ~ 04481255 n 0000 | a domed or vaulted recess or projection on a building especially the east end of a church; usually contains the altar &%Room+
 02731629 06 n 03 aqualung 0 Aqua-Lung 0 scuba 0 004 @ 02895606 n 0000 ;u 06851742 n 0201 %p 03156279 n 0000 %p 03868863 n 0000 | a device (trade name Aqua-Lung) that lets divers breathe under water; scuba is an acronym for self-contained underwater breathing apparatus &%Device+
@@ -15025,7 +15025,7 @@
 02797692 06 n 03 base 0 pedestal 0 stand 0 005 @ 04359589 n 0000 ~ 02893148 n 0000 ~ 04295777 n 0000 ~ 04486213 n 0000 ~ 04486322 n 0000 | a support or foundation; "the base of the lamp" &%EngineeringComponent+
 02797881 06 n 02 base 2 bag 3 006 @ 02799897 n 0000 #p 02799593 n 0000 ~ 03349771 n 0000 ~ 03528901 n 0000 ~ 04164406 n 0000 ~ 04425804 n 0000 | a place that the runner must touch before scoring; "he scrambled to get back to the bag" &%BaseballBase=
 02798117 06 n 01 base 3 003 @ 03274796 n 0000 #p 04471632 n 0000 ;c 06099269 n 0000 | (electronics) the part of a transistor that separates the emitter from the collector &%Base=
-02798290 06 n 02 base 4 base_of_operations 0 007 @ 03763133 n 0000 ;c 08199025 n 0000 ~ 02685585 n 0000 ~ 02741587 n 0000 ~ 03344205 n 0000 ~ 03813612 n 0000 ~ 04099649 n 0000 | installation from which a military force initiates operations; "the attack wiped out our forward bases" &%MilitaryInstallation+
+02798290 06 n 02 base 4 base_of_operations 0 007 @ 03763133 n 0000 ;c 08199025 n 0000 ~ 02685585 n 0000 ~ 02741587 n 0000 ~ 03344205 n 0000 ~ 03813612 n 0000 ~ 04099649 n 0000 | installation from which a military force initiates operations; "the attack wiped out our forward bases" &%MilitaryBase=
 02798574 06 n 01 base 5 004 @ 08511241 n 0000 #p 04531098 n 0000 #p 02883344 n 0000 #p 03636649 n 0000 | a flat bottom on which something is intended to sit; "a tub should sit on its own base" &%Artifact+
 02798769 06 n 01 base 7 002 @ 03570709 n 0000 + 01200068 v 0102 | the principal ingredient of a mixture; "glycerinated gelatin is used as a base for many ointments"; "he told the painter that he wanted a yellow base with just a hint of green"; "everything she cooked seemed to have rice as the base" &%Substance+
 02799071 06 n 01 baseball 0 002 @ 02778669 n 0000 @ 02799897 n 0000 | a ball used in playing baseball &%Ball+
@@ -16049,7 +16049,7 @@
 02964295 06 n 01 car-ferry 0 001 @ 03329663 n 0000 | a ferry that transports motor vehicles &%FerryBoat+
 02964389 06 n 08 cargo 0 lading 0 freight 0 load 2 loading 0 payload 0 shipment 0 consignment 0 006 @ 03748886 n 0000 + 01950798 v 0703 + 01612084 v 0401 + 01489989 v 0401 + 01489161 v 0301 + 01489989 v 0202 | goods carried by a large vehicle &%Artifact+
 02964634 06 n 05 cargo_area 0 cargo_deck 0 cargo_hold 0 hold 2 storage_area 0 004 @ 03285912 n 0000 #p 04194289 n 0000 + 02701210 v 0403 + 02700867 v 0401 | the space in a ship or aircraft for storing cargo &%Artifact+
-02964843 06 n 01 cargo_container 0 001 @ 03094503 n 0000 | a large container for freight &%Container+
+02964843 06 n 01 cargo_container 0 001 @ 03094503 n 0000 | a large container for freight &%ShipContainer=
 02964934 06 n 01 cargo_door 0 001 @ 03221720 n 0000 | door used to load or unload cargo &%Door+
 02965024 06 n 01 cargo_hatch 0 001 @ 03498536 n 0000 | hatch opening into the cargo compartment &%Artifact+
 02965122 06 n 01 cargo_helicopter 0 001 @ 03512147 n 0000 | a helicopter that carries cargo &%Helicopter+
@@ -16817,7 +16817,7 @@
 03093792 06 n 02 contact 0 tangency 0 010 @ 03605915 n 0000 ;c 06099269 n 0000 ~ 03213826 n 0000 ~ 03269073 n 0000 ~ 03971960 n 0000 ~ 04204755 n 0000 ~ 04261369 n 0000 ~ 04413151 n 0000 ~ 04476972 n 0000 ~ 04593866 n 0000 | (electronics) a junction where things (as two electrical conductors) touch or are in physical contact; "they forget to solder the contacts" &%Terminal+
 03094159 06 n 02 contact 1 contact_lens 0 001 @ 03656484 n 0000 | a thin curved glass or plastic lens designed to fit over the cornea in order to correct vision or to deliver medication &%Device+
 03094347 06 n 01 contact_print 0 001 @ 04003597 n 0000 | a print made by exposing a photosensitive surface to direct contact with a photographic negative &%Icon+
-03094503 06 n 01 container 0 055 @ 03575240 n 0000 + 02700867 v 0104 + 01482744 v 0101 + 01482744 v 0102 ~ 02773037 n 0000 ~ 02774152 n 0000 ~ 02801938 n 0000 ~ 02839910 n 0000 ~ 02881397 n 0000 ~ 02883344 n 0000 ~ 02893692 n 0000 ~ 02920658 n 0000 ~ 02946921 n 0000 ~ 02949542 n 0000 ~ 02957755 n 0000 ~ 02964843 n 0000 ~ 02974697 n 0000 ~ 02975212 n 0000 ~ 02978881 n 0000 ~ 03147509 n 0000 ~ 03156279 n 0000 ~ 03191286 n 0000 ~ 03206908 n 0000 ~ 03210683 n 0000 ~ 03233905 n 0000 ~ 03256032 n 0000 ~ 03284308 n 0000 ~ 03291819 n 0000 ~ 03438257 n 0000 ~ 03450974 n 0000 ~ 03705808 n 0000 ~ 03710528 n 0000 ~ 03717131 n 0000 ~ 03733644 n 0000 ~ 03779370 n 0000 ~ 03871083 n 0000 ~ 03880323 n 0000 ~ 03973945 n 0000 ~ 03991062 n 0000 ~ 03994614 n 0000 ~ 04060904 n 0000 ~ 04074185 n 0000 ~ 04131499 n 0000 ~ 04139859 n 0000 ~ 04158002 n 0000 ~ 04183329 n 0000 ~ 04284002 n 0000 ~ 04328703 n 0000 ~ 04423845 n 0000 ~ 04436992 n 0000 ~ 04531098 n 0000 ~ 04555700 n 0000 ~ 04560292 n 0000 ~ 04576211 n 0000 ~ 04600312 n 0000 | any object that can be used to hold things (especially a large metal boxlike object of standardized dimensions that can be loaded from one form of transport to another) &%Container+
+03094503 06 n 01 container 0 055 @ 03575240 n 0000 + 02700867 v 0104 + 01482744 v 0101 + 01482744 v 0102 ~ 02773037 n 0000 ~ 02774152 n 0000 ~ 02801938 n 0000 ~ 02839910 n 0000 ~ 02881397 n 0000 ~ 02883344 n 0000 ~ 02893692 n 0000 ~ 02920658 n 0000 ~ 02946921 n 0000 ~ 02949542 n 0000 ~ 02957755 n 0000 ~ 02964843 n 0000 ~ 02974697 n 0000 ~ 02975212 n 0000 ~ 02978881 n 0000 ~ 03147509 n 0000 ~ 03156279 n 0000 ~ 03191286 n 0000 ~ 03206908 n 0000 ~ 03210683 n 0000 ~ 03233905 n 0000 ~ 03256032 n 0000 ~ 03284308 n 0000 ~ 03291819 n 0000 ~ 03438257 n 0000 ~ 03450974 n 0000 ~ 03705808 n 0000 ~ 03710528 n 0000 ~ 03717131 n 0000 ~ 03733644 n 0000 ~ 03779370 n 0000 ~ 03871083 n 0000 ~ 03880323 n 0000 ~ 03973945 n 0000 ~ 03991062 n 0000 ~ 03994614 n 0000 ~ 04060904 n 0000 ~ 04074185 n 0000 ~ 04131499 n 0000 ~ 04139859 n 0000 ~ 04158002 n 0000 ~ 04183329 n 0000 ~ 04284002 n 0000 ~ 04328703 n 0000 ~ 04423845 n 0000 ~ 04436992 n 0000 ~ 04531098 n 0000 ~ 04555700 n 0000 ~ 04560292 n 0000 ~ 04576211 n 0000 ~ 04600312 n 0000 | any object that can be used to hold things (especially a large metal boxlike object of standardized dimensions that can be loaded from one form of transport to another) &%ShipContainer=
 03095699 06 n 03 container_ship 0 containership 0 container_vessel 0 001 @ 02965300 n 0000 | a cargo ship designed to hold containerized cargoes; "the weight of the documentation of all the consignments on board a contemporary container ship can exceed 90 pounds" &%ContainerShip=
 03095965 06 n 01 containment 0 002 @ 04377057 n 0000 ;c 06090869 n 0000 | (physics) a system designed to prevent the accidental release of radioactive material from a reactor &%Device+
 03096142 06 n 02 contour_map 0 relief_map 0 001 @ 03720163 n 0000 | a map having contour lines through points of equal elevation &%Icon+
@@ -18081,7 +18081,7 @@
 03314608 06 n 01 faceplate 0 002 @ 04014297 n 0000 ;c 03082979 n 0000 | a protective covering for the front of a machine or device (as a door lock or computer component) &%Device+
 03314780 06 n 01 face_powder 0 002 @ 03994008 n 0000 @ 03714235 n 0000 | cosmetic powder for the face &%Mixture+
 03314884 06 n 01 face_veil 0 002 @ 03502331 n 0000 ~ 03826039 n 0000 | a piece of more-or-less transparent material that covers the face &%Clothing+
-03315023 06 n 02 facility 0 installation 0 024 @ 00021939 n 0000 + 01570108 v 0201 ~ 02687992 n 0000 ~ 02733075 n 0000 ~ 02752311 n 0000 ~ 02770441 n 0000 ~ 02936020 n 0000 ~ 03077958 n 0000 ~ 03119790 n 0000 ~ 03177349 n 0000 ~ 03243501 n 0000 ~ 03386420 n 0000 ~ 03425956 n 0000 ~ 03745146 n 0000 ~ 03763133 n 0000 ~ 03997027 n 0000 ~ 04053218 n 0000 ~ 04065132 n 0000 ~ 04178897 n 0000 ~ 04263614 n 0000 ~ 04306080 n 0000 ~ 04473432 n 0000 ~ 04516874 n 0000 ~ 04562658 n 0000 | a building or place that provides a particular service or is used for a particular industry; "the assembly plant is an enormous facility" &%StationaryArtifact+
+03315023 06 n 02 facility 0 installation 0 024 @ 00021939 n 0000 + 01570108 v 0201 ~ 02687992 n 0000 ~ 02733075 n 0000 ~ 02752311 n 0000 ~ 02770441 n 0000 ~ 02936020 n 0000 ~ 03077958 n 0000 ~ 03119790 n 0000 ~ 03177349 n 0000 ~ 03243501 n 0000 ~ 03386420 n 0000 ~ 03425956 n 0000 ~ 03745146 n 0000 ~ 03763133 n 0000 ~ 03997027 n 0000 ~ 04053218 n 0000 ~ 04065132 n 0000 ~ 04178897 n 0000 ~ 04263614 n 0000 ~ 04306080 n 0000 ~ 04473432 n 0000 ~ 04516874 n 0000 ~ 04562658 n 0000 | a building or place that provides a particular service or is used for a particular industry; "the assembly plant is an enormous facility" &%Facility=
 03315644 06 n 02 facing 0 cladding 0 003 @ 04014297 n 0000 + 01271189 v 0101 ~ 04085873 n 0000 | a protective covering that protects the outside of a building &%Artifact+
 03315805 06 n 01 facing 1 004 @ 03673767 n 0000 #p 03068181 n 0000 #p 03145843 n 0000 + 01271936 v 0101 | a lining applied to the edge of a garment for ornamentation or strengthening &%Artifact+
 03315990 06 n 02 facing 2 veneer 0 002 @ 03058107 n 0000 + 01271189 v 0101 | an ornamental coating to a building &%Veneer+
@@ -22448,7 +22448,7 @@
 04046810 06 n 01 rail 3 003 @ 04048568 n 0000 + 01936537 v 0102 + 01954559 v 0101 | short for railway; "he traveled by rail"; "he was concerned with rail safety" &%Railway+
 04046974 06 n 01 rail_fence 0 003 @ 03327234 n 0000 %p 04282872 n 0000 ~ 04604644 n 0000 | a fence (usually made of split logs laid across each other at an angle) &%Artifact+
 04047139 06 n 01 railhead 0 001 @ 04329190 n 0000 | a railroad depot in a theater of operations where military supplies are unloaded for distribution &%Building+
-04047291 06 n 01 railhead 1 001 @ 08566028 n 0000 | the end of the completed track on an unfinished railway &%Artifact+
+04047291 06 n 01 railhead 1 001 @ 08566028 n 0000 | the end of the completed track on an unfinished railway &%Railhead=
 04047401 06 n 02 railing 0 rail 2 013 @ 02796623 n 0000 #p 02788148 n 0000 + 02031430 v 0201 + 02330407 v 0201 + 02711543 v 0201 + 02711543 v 0101 + 02330407 v 0101 + 02031430 v 0101 ~ 02789770 n 0000 ~ 03334667 n 0000 %p 03653975 n 0000 ~ 04127395 n 0000 ~ 04383923 n 0000 | a barrier consisting of a horizontal bar and supports &%Handle+
 04047733 06 n 01 railing 1 001 @ 03729951 n 0000 | material for making rails or rails collectively &%Device+
 04047834 06 n 01 railroad_bed 0 002 @ 02819697 n 0000 #p 03671272 n 0000 | a bed on which railroad track is laid &%Region+
@@ -24555,7 +24555,7 @@
 04396093 06 n 02 taw 0 shooter 0 002 @ 03721047 n 0000 + 01597286 v 0201 | a large marble used for shooting in the game of marbles &%Device+
 04396226 06 n 01 tawse 0 002 @ 04332987 n 0000 ;r 08890097 n 0000 | a leather strap for punishing children &%Weapon+
 04396335 06 n 01 taximeter 0 001 @ 03753077 n 0000 | a meter in a taxi that registers the fare (based on the length of the ride) &%Device+
-04396466 06 n 02 taxiway 0 taxi_strip 0 002 @ 03900509 n 0000 #p 02687992 n 0000 | a paved surface in the form of a strip; used by planes taxiing to or from the runway at an airport &%StationaryArtifact+
+04396466 06 n 02 taxiway 0 taxi_strip 0 002 @ 03900509 n 0000 #p 02687992 n 0000 | a paved surface in the form of a strip; used by planes taxiing to or from the runway at an airport &%Taxiway=
 04396650 06 n 03 T-bar_lift 0 T-bar 0 Alpine_lift 0 001 @ 04362821 n 0000 | a surface lift where riders hold a bar and are pulled up the hill on their skis &%TransportationDevice+
 04396808 06 n 01 tea_bag 0 001 @ 02773037 n 0000 | small paper bag holding a measure of tea &%Artifact+
 04396902 06 n 01 tea_ball 0 001 @ 03621049 n 0000 | a kitchen utensil consisting of a perforated metal ball for making tea &%Device+
@@ -36548,7 +36548,7 @@
 06750154 10 n 02 prophecy 0 divination 0 005 @ 06748969 n 0000 + 02107588 v 0201 + 01881696 a 0102 + 01881696 a 0101 ~ 06750339 n 0000 | a prediction uttered under divine inspiration &%Stating+
 06750339 10 n 01 oracle 0 002 @ 06750154 n 0000 + 03000868 a 0101 | a prophecy (usually obscure or allegorical) revealed by a priest or priestess; believed to be infallible &%Stating+
 06750514 10 n 01 financial_forecast 0 001 @ 06749881 n 0000 | a forecast of the expected financial position and the results of operations and cash flows based on expected conditions &%Stating+
-06750698 10 n 02 weather_forecast 0 weather_outlook 0 001 @ 06749881 n 0000 | a forecast of the weather &%Stating+
+06750698 10 n 02 weather_forecast 0 weather_outlook 0 001 @ 06749881 n 0000 | a forecast of the weather &%WeatherForecast=
 06750804 10 n 01 proposition 0 012 @ 06722453 n 0000 ;c 06163751 n 0000 ~ 06751142 n 0000 ~ 06751367 n 0000 ~ 06751572 n 0000 ~ 06751742 n 0000 ~ 06751833 n 0000 %p 06751974 n 0000 ~ 06752293 n 0000 ~ 06753030 n 0000 ~ 06753299 n 0000 ~ 06753550 n 0000 | (logic) a statement that affirms or denies something and is either true or false &%Sentence+
 06751142 10 n 02 particular 0 particular_proposition 0 004 @ 06750804 n 0000 ;c 06163751 n 0000 ! 06751367 n 0202 ! 06751367 n 0101 | (logic) a proposition that asserts something about some (but not all) members of a class &%SubjectiveAssessmentAttribute+
 06751367 10 n 02 universal 0 universal_proposition 0 004 @ 06750804 n 0000 ;c 06163751 n 0000 ! 06751142 n 0202 ! 06751142 n 0101 | (logic) a proposition that asserts something of all members of a class &%EngineeringComponent+
@@ -46397,7 +46397,7 @@
 08517825 15 n 01 checkpoint 0 001 @ 08656893 n 0000 | a place (as at a frontier) where travellers are stopped for inspection and clearance &%Checkpoint=
 08517966 15 n 03 cabstand 0 taxistand 0 taxi_rank 0 001 @ 08653706 n 0000 | a place where taxis park while awaiting customers; "in England the place where taxis wait to be hired is called a `taxi rank'" &%LandArea+
 08518171 15 n 07 campsite 0 campground 0 camping_site 0 camping_ground 0 bivouac 0 encampment 0 camping_area 0 002 @ 08651247 n 0000 + 02653996 v 0504 | a site where people on holiday can pitch a tent &%Campground+
-08518374 15 n 01 campus 0 002 @ 08569998 n 0000 %p 04343740 n 0000 | a field on which the buildings of a university are situated &%LandArea+
+08518374 15 n 01 campus 0 002 @ 08569998 n 0000 %p 04343740 n 0000 | a field on which the buildings of a university are situated &%EducationalCampus=
 08518505 15 n 01 capital 0 010 @ 08647945 n 0000 ~i 08558289 n 0000 ~ 08691669 n 0000 ~ 08695198 n 0000 ~ 08695539 n 0000 ~i 08709593 n 0000 ~i 08755664 n 0000 ~i 08888479 n 0000 ~i 08892596 n 0000 ~i 08895386 n 0000 | a seat of government &%LandArea+
 08518747 15 n 01 capital 1 001 @ 08514034 n 0000 | a center that is associated more than any other with some activity or product; "the crime capital of Italy"; "the drug capital of Columbia" &%LandArea+
 08518940 15 n 07 river_basin 0 basin 0 watershed 1 drainage_basin 1 catchment_area 0 catchment_basin 0 drainage_area 0 003 @ 08574314 n 0000 ~ 08519299 n 0000 ~ 08519444 n 0000 | the entire geographical area drained by a river and its tributaries; an area characterized by all runoff being conveyed to the same outlet; "flood control in the Missouri basin" &%WaterArea+

development/Transport_2024.kif

@@ -908,6 +908,77 @@ a &%TernaryPredicate. It denotes the maximum number of vehicles that can be hand
     (during (WhenFn ?T) ?TI)
     (path ?T ?LT))
   (greaterThanorEqualTo ?I ?I2))
-
 
+(instance BiDirectionalTraffic NormativeAttribute)
+(documentation BiDirectionalTraffic EnglishLanguage "&%BiDirectionalTraffic is 
+a &%NormativeAttribute. A &%Transitway is &%BiDirectionalTraffic when it divides travellers 
+into two streams of traffic that flow in opposite directions. The condition holds when a 
+government or an authority confers permission for two way traffic.[Wikipedia]")       
+(termFormat EnglishLanguage BiDirectionalTraffic "bidirectional traffic")
+
+(=>
+  (and
+    (instance ?W Transitway)
+    (attribute ?W BiDirectionalTraffic))
+  (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))))))) Permission))))
+
+(subclass OnewayStreet Roadway)
+(documentation OnewayStreet EnglishLanguage "&%OnewayStreet is a &%Roadway either 
+facilitating only one-way traffic, or designed to direct &%RoadVehicles to move in 
+one direction.[Wikepedia]")
+(termFormat EnglishLanguage OnewayStreet "one way street")
+
+(=>
+  (instance ?S OnewayStreet)
+  (exists (?P)
+    (and
+      (instance ?P Policy)
+      (confersNorm ?P
+        (exists (?T1 ?A ?B)
+          (and
+            (instance ?T1 LandTransportation)
+            (path ?T1 ?S)
+            (instance ?A GeographicArea)
+            (origin ?T1 ?A)
+            (instance ?B GeographicArea)
+            (destination ?T1 ?B)
+            (holdsDuring (WhenFn ?T1)
+              (exists (?T2)
+                (and            
+                  (instance ?T2 LandTransportation)
+                  (path ?T2 ?S)
+                  (origin ?T1 ?B)
+                  (destination ?T1 ?A)
+                  (not
+                    (equal ?T1 ?T2))))))) Prohibition))))
+
+(subclass TwowayStreet Roadway)
+(documentation TwowayStreet EnglishLanguage "&%TwowayStreet is a &%Roadway either 
+facilitating only two-way traffic, or designed to direct &%RoadVehicles to move in 
+&%BiDirectionalTraffic direction.[Wikepedia]")
+(termFormat EnglishLanguage TwowayStreet "two way street")
+
+(=>
+  (instance ?S TwowayStreet)
+  (attribute ?S BiDirectionalTraffic))