diff --git a/Mid-level-ontology.kif b/Mid-level-ontology.kif index 142f28a3..484e62eb 100755 --- a/Mid-level-ontology.kif +++ b/Mid-level-ontology.kif @@ -6747,6 +6747,57 @@ either in pure form or as part of ores.") (instance ?MINERAL Mineral) (origin ?REMOVE ?MINE))))) +(subclass Facility Region) +(documentation Facility EnglishLanguage "A &%Facility is a place for doing +something, or a place that facilitates an activity.[Wikipedia]") +(typicalPart StationaryArtifact Facility) + +(=> + (instance ?F Facility) + (hasPurpose ?F + (exists (?P) + (and + (instance ?P Process) + (eventLocated ?P ?F))))) + +(subclass PrivateOrganization Organization) +(documentation PrivateOrganization EnglishLanguage "A &%PrivateOrganization is an organization +owned by private groups, usually as a means of establishment for profit or non profit, rather than +being owned by the government.[Wikipedia]") + +(=> + (instance ?P PrivateOrganization) + (not + (exists (?G) + (and + (instance ?G Government) + (possesses ?G ?P))))) + +(subclass PositionReport Report) +(documentation PositionReport EnglishLanguage "A &%PositionReport is a &%FactualText that +&%containsInformation about where something is located.") + +(=> + (instance ?R PositionReport) + (containsFormula ?R + (exists (?O ?A) + (and + (instance ?O Object) + (instance ?A Region) + (located ?O + (WhenFn (?R)) ?A))))) + +(subclass EducationalCampus Region) +(documentation EducationalCampus EnglishLanguage "An &%EducationalCampus is the land on which +a college or &%University and related institutional buildings are situated.[Wikipedia]") + +(=> + (instance ?C EducationalCampus) + (exists (?F) + (and + (instance ?F EducationalFacility) + (part ?F ?C)))) + (subclass MobileStructure Artifact) (disjoint MobileStructure StationaryArtifact) (documentation MobileStructure EnglishLanguage "A &%MoibleStruture is an &%Artifact @@ -6786,7 +6837,147 @@ because the latter is a subclass of &%StationaryArtifact.") (instance ?T Translocation) (inhabits ?H ?R) (patient ?T ?R))))) + +(subclass PortableRestroom MobileStructure) +(documentation PortableRestroom EnglishLanguage "A &%PortableRestroom contains a &%Toilet that is +intended to be moved around.[Wikipedia]") + +(=> + (instance ?P PortableRestroom) + (hasPurpose ?P + (exists (?T ?M) + (and + (instance ?T Toilet) + (contains ?P ?T) + (instance ?M Translocation) + (patient ?M ?P))))) + +(instance PhysicallyRestrictedRegion RelationalAttribute) +(documentation PhysicallyRestrictedRegion EnglishLanguage "&%PhysicallyRestrictedRegion is a +&%RelationalAttribute for a &%GeographicArea where there is always some level of physical boundary. +&%Entering into the region requires &%entrance through a specified region where a &%Permission is conferred. +This term is still under development in the sense that it is yet to be decided whether it is a +class or an attribute. Does putting a fence make a region a new region or change the attribute +of an existing region?") + +(=> + (and + (instance ?F Facility) + (attribute ?F PhysicallyRestrictedRegion)) + (exists (?B) + (and + (instance ?B Barrier) + (orientation ?F ?B Surrounded)))) + +(=> + (and + (instance ?F Facility) + (attribute ?F PhysicallyRestrictedRegion) + (entrance ?R ?F)) + (hasPurpose ?R + (exists (?E) + (and + (or + (instance ?E Entering) + (instance ?E Exiting)) + (path ?E ?R))))) + +(=> + (and + (instance ?F Facility) + (attribute ?F PhysicallyRestrictedRegion)) + (modalAttribute + (exists (?E ?R) + (and + (or + (instance ?E Entering) + (instance ?E Exiting)) + (path ?E ?R) + (not + (entrance ?R ?F)))) Unlikely)) + +(instance entrance BinaryPredicate) +(documentation entrance EnglishLanguage "&%entrance is a &%BinaryPredicate. +In (entrance ?R ?F), ?R is the entrance into the &%Facility ?F. Both ?R +and ?F are Regions. If one is entering the facility ?F, then +one is obliged to enter via ?R.") +(domain entrance 1 Region) +(domain entrance 2 Region) +(=> + (and + (instance ?E Entering) + (destination ?E ?F) + (attribute ?F PhysicallyRestrictedRegion)) + (modalAttribute + (exists (?R) + (and + (entrance ?R ?F) + (path ?E ?R))) Obligation)) + +(=> + (and + (instance ?E Entering) + (destination ?E ?F) + (attribute ?F PhysicallyRestrictedRegion) + (not + (entrance ?R ?F))) + (modalAttribute + (path ?E ?R) Prohibition)) + +(=> + (and + (instance ?E Exiting) + (origin ?E ?F) + (attribute ?F PhysicallyRestrictedRegion)) + (modalAttribute + (exists (?R) + (and + (entrance ?R ?F) + (path ?E ?R))) Obligation)) + +(=> + (and + (instance ?E Exiting) + (origin ?E ?F) + (attribute ?F PhysicallyRestrictedRegion) + (not + (entrance ?R ?F))) + (modalAttribute + (path ?E ?R) Prohibition)) + +(subclass ArtifactAttribute RelationalAttribute) +(documentation ArtifactAttribute EnglishLanguage "&%ArtifactAttribute is used to +describe the status of an &%Artifact.") + +(instance Repairable ArtifactAttribute) +(documentation Repairable EnglishLanguage "&%Repairable is an &%Attribute used to +describe an &%Artifact that can be designated for &%Repairing.") +(relatedInternalConcept Repairable NonRepairable) + +(=> + (and + (instance ?A Artifact) + (attribute ?A Repairable)) + (exists (?R) + (and + (instance ?R Repairing) + (patient ?R ?A)))) + +(instance NonRepairable ArtifactAttribute) +(documentation NonRepairable EnglishLanguage "&%NonRepairable is an &%Attribute used to +describe an &%Artifact that cannot be desginated for &Repairing.") + +(=> + (and + (instance ?A Artifact) + (attribute ?A NonRepairable)) + (not + (exists (?R) + (and + (instance ?R Repairing) + (patient ?R ?A))))) + (subclass Prison StationaryArtifact) (documentation Prison EnglishLanguage "An installation which is owned and maintained by a &%Government for the purpose of &%Confining people. This class covers @@ -17229,6 +17420,46 @@ or something is moving.") (experiencer ?D ?E) (equal ?T (WhenFn ?D)))))) +(subclass Entering Translocation) +(documentation Entering EnglishLanguage "&%Entering is a &%subclass of &%Translocation +in which an object go into a &%Region. &%Entering itself, unlike the relation +&%entrance, does not required the object to go through a specified entrance.") +(disjoint Entering Exiting) + +(=> + (instance ?E Entering) + (exists (?R ?A) + (and + (instance ?R Region) + (destination ?E ?R) + (agent ?E ?A) + (instance ?A AutonomousAgent) + (holdsDuring + (BeginFn (WhenFn ?E)) + (orientation ?A ?R Outside)) + (holdsDuring + (EndFn (WhenFn ?E)) + (orientation ?A ?R Inside))))) + +(subclass Exiting Translocation) +(documentation Exiting EnglishLanguage "&%Exiting is a &%subclass of &%Translocation +in which an object go out of a &%Region. It is the opposite of &%Entering.") + +(=> + (instance ?E Exiting) + (exists (?R ?A) + (and + (instance ?R Region) + (origin ?E ?R) + (agent ?E ?A) + (instance ?A AutonomousAgent) + (holdsDuring + (BeginFn (WhenFn ?E)) + (orientation ?A ?R Inside)) + (holdsDuring + (EndFn (WhenFn ?E)) + (orientation ?A ?R Outside))))) + (subclass Shortening Decreasing) (documentation Shortening EnglishLanguage "Decreasing the length of something.") diff --git a/MilitaryProcesses.kif b/MilitaryProcesses.kif index 64af42fa..14d9bee5 100644 --- a/MilitaryProcesses.kif +++ b/MilitaryProcesses.kif @@ -2757,6 +2757,140 @@ verbally or in written form.") (agent ?S ?A) (patient ?S ?P)))) +(subclass MilitaryBase Region) +(documentation MilitaryBase EnglishLanguage "A &%MilitaryBase is a facility directly owned and +operated by or for the military or one of its branches that shelters military equipment and personnel, +and facilitates training and operations.[1] A military base always provides accommodations for one or +more units, but it may also be used as a command center, training ground or proving ground.[Wikipedia]") +(typicalPart MilitaryInstallation MilitaryBase) +(typicalPart EducationalFacility MilitaryBase) + +(=> + (instance ?B MilitaryBase) + (exists (?F) + (and + (instance ?F MilitaryForce) + (possesses ?F ?B)))) + +(=> + (instance ?B MilitaryBase) + (exists (?H) + (and + (instance ?H Human) + (attribute ?H MilitaryPerson) + (inhabits ?H ?B)))) + +(subclass AircraftCarrier MilitaryAirport) +(subclass MilitaryAirport MilitaryInstallation) +(subclass MilitaryAirport Airport) +(documentation MilitaryAirport EnglishLanguage "An &%MilitaryAirport is an airport used as a military +base by a miliatry force for the operation of &%MilitaryAircraft. [Wikipedia]") +(names "aerial port" MilitaryAirport) + +(=> + (instance ?A MilitaryAirport) + (hasPurpose ?A + (exists (?M ) + (and + (instance ?M MilitaryAircraft) + (or + (capableAtLocation TakingOff origin ?M ?A) + (capableAtLocation Landing destination ?M ?A)))))) + +(instance target CaseRole) +(subrelation target destination) +(documentation target EnglishLanguage "&%target is a &%subrelation of &%destination when +there is a &%Projectile as an &%instrument. (destination ?A ?O) means that ?O is the +target of an &%Attack ?A") +(domain target 1 Attack) +(domain target 2 Object) + + +(=> + (target ?A ?O) + (exists (?W ?P) + (and + (instance ?W Weapon) + (instrument ?A ?W) + (instance ?P Projectile) + (patient ?A ?P) + (destination ?A ?O)))) + +(instance BlueforceControlled RelationalAttribute) +(documentation BlueforceControlled EnglishLanguage "&%BlueforceControlled is +a &%RelationalAttribute. An &%Object that is possessed by an agent that is +either &%part of the government or an &%Ally of the US government.") +(relatedInternalConcept BlueforceControlled Ally) + +(=> + (and + (attribute ?X BlueforceControlled) + (instance ?X Object)) + (exists (?A) + (and + (instance ?A GovernmentOrganization) + (possesses ?A ?X) + (or + (subOrganization ?A + (GovernmentFn UnitedStates)) + (allied ?A + (GovernmentFn UnitedStates)))))) + +(instance MilitarilySecure RelationalAttribute) +(documentation MilitarilySecure EnglishLanguage "&%MilitarilySecure is +a &%RelationalAttribute. A &%Facility that is &%MilitarilySecure is owned +by a &%MilitaryForce. There does not exist an agent that is an &%Enemy of the +military force to launch an attack in which the destintation is the +the facility and there is no enemy located at the facility, except for prisoners +who were captured from the enemy.") +(relatedInternalConcept BlueforceControlled MilitarilySecure) +(relatedInternalConcept Ally MilitarilySecure) + +(=> + (and + (instance ?F Facility) + (holdsDuring ?T + (attribute ?F MilitarilySecure)) + (instance ?MF MilitaryForce) + (possesses ?MF ?F)) + (not + (exists (?A ?E) + (and + (instance ?A Attack) + (during ?T (WhenFn ?A)) + (destination ?A ?F) + (agent ?A ?E) + (enemy ?MF ?E))))) + +(=> + (and + (instance ?F Facility) + (holdsDuring ?T + (attribute ?F MilitarilySecure)) + (instance ?MF MilitaryForce) + (possesses ?MF ?F)) + (not + (exists (?E) + (and + (enemy ?MF ?E) + (holdsDuring ?T + (and + (located ?E ?F) + (not + (attribute ?E PrisonerOfWar)))))))) + +(subclass SecureAirfield MilitaryInstallation) +(documentation SecureAirfield EnglishLanguage "&%SecureAirfield is an airfield that is +&%MilitarilySeucre. ") + +(=> + (instance ?SA SecureAirfield) + (exists (?A) + (and + (instance ?A Airport) + (attribute ?A MilitarilySecure)))) + + ;; format and termFormat statements for MilitaryProcesses.kif (format EnglishLanguage absorbedDose "%1 has %n absorbed a dose of radiation equal to %2") @@ -2766,7 +2900,11 @@ verbally or in written form.") (format EnglishLanguage AbortedMissionFn "the military operation %2 aborted by %1") (format EnglishLanguage enemy "%1 and %2 are %n enemies of each other") (format EnglishLanguage AbortedLaunchFn "the launch %2 aborted by %1") +(format EnglishLanguage target "%2 is the target of %1") +(termFormat EnglishLanguage BlueforceControlled "blue force controlled") +(termFormat EnglishLanguage MilitarilySecure "militarily secure") +(termFormat EnglishLanguage SecureAirfield "secure airfield") (termFormat EnglishLanguage SpecialReconnaissance "special reconnaissance") (termFormat EnglishLanguage EnvironmentalReconnaissance "environmental reconnaissance") (termFormat EnglishLanguage ArmedReconnaissance "armed reconnaissance") @@ -2886,4 +3024,7 @@ verbally or in written form.") (termFormat EnglishLanguage Enemy "enemy") (termFormat EnglishLanguage Evacuation "evacuation") (termFormat EnglishLanguage Demonstration "demonstration") +(termFormat EnglishLanguage MilitaryBase "military base") +(termFormat EnglishLanguage MilitaryAirport "military airport") +(termFormat EnglishLanguage target "target") diff --git a/Transportation.kif b/Transportation.kif index da398c6f..4edb786f 100644 --- a/Transportation.kif +++ b/Transportation.kif @@ -1268,6 +1268,78 @@ the &%EarthsAtmosphere.") (documentation Airport EnglishLanguage "&%Airport is the subclass of &%TransitTerminals for &%Airplanes (fixed-wing &%Aircraft).") +(subclass AirportApron ParkingRegion) +(documentation AirportApron EnglishLanguage "An &%AirportApron is the area of an airport where +aircrafts are parked, unloaded or loaded, refueled, boarded, or maintained.[Wikipedia]") + +(=> + (instance ?AA AirportApron) + (exists (?A) + (and + (instance ?A Airport) + (located ?AA ?A)))) + +(=> + (instance ?AA AirportApron) + (hasPurpose ?AA + (exists (?P ?K) + (and + (instance ?P Airplane) + (instance ?K Keeping) + (patient ?K ?P) + (destination ?K ?AA))))) + +(instance numberOfAprons BinaryPredicate) +(documentation numberOfAprons EnglishLanguage "(&%numberOfRunways ?AA ?N) means + that &%Airport ?AA has &%Integer ?N number of &%Aprons.") +(domain numberOfAprons 1 Airport) +(domain numberOfAprons 2 Integer) + +(=> + (numberOfAprons ?AA ?N) + (exists (?A ?COLL) + (and + (instance ?A AirportApron) + (part ?A ?AA) + (member ?A ?COLL) + (memberCount ?COLL ?N)))) + +(subclass AirportStagingArea Region) +(documentation AirportStagingArea EnglishLanguage "An &%AirportStagingArea is a designated area +where equipment can be staged prior to the arrival or departure of an aircraft.[Wikipedia]") + +(=> + (instance ?S AirportStagingArea) + (exists (?A) + (and + (instance ?A Airport) + (located ?S ?A)))) + +(=> + (instance ?S AirportStagingArea) + (hasPurpose ?S + (exists (?B ?C ?D ?T) + (and + (instance ?B Boarding) + (instance ?C Collection) + (instrument ?B ?C) + (member ?D ?C) + (instance ?D Device) + (locatedAtTime ?C ?T ?S) + (during ?T (WhenFn ?B)))))) + +(=> + (instance ?S AirportStagingArea) + (hasPurpose ?S + (exists (?DB ?C ?D ?T) + (and + (instance ?DB Deboarding) + (instance ?C Collection) + (instrument ?DB ?C) + (member ?D ?C) + (instance ?D Device) + (locatedAtTime ?C ?T ?S) + (during ?T (WhenFn ?DB)))))) ;;---------------------------------------------------------------------- ;; H. Airports - with paved runways @@ -1335,6 +1407,63 @@ that are surfaced with concrete or asphalt.") (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway)) +(subclass Taxiway LandTransitway) +(documentation Taxiway EnglishLanguage "A &%Taxiway is a path for aircraft at an airport +connecting &%Runways with aprons, hangars, terminals and other facilities. [Wikipedia]") + +(=> + (instance ?T Taxiway) + (exists (?A) + (and + (instance ?A Airport) + (located ?T ?A)))) + +(=> + (instance ?T Taxiway) + (hasPurpose ?T + (exists (?R ?AA) + (and + (instance ?R Runway) + (instance ?AA AirportApron) + (connects ?T ?R ?AA))))) + +(=> + (instance ?T Taxiway) + (trafficableForTrafficType ?T Airplane)) + +(instance numberOfRunways BinaryPredicate) +(documentation numberOfRunways EnglishLanguage "(&%numberOfRunways ?A ?N) means + that &%Airport ?A has &%Integer ?N number of &%Runways.") +(domain numberOfRunways 1 Airport) +(domain numberOfRunways 2 Integer) +(relatedInternalConcept numberOfRunways numberOfTaxiways) +(relatedInternalConcept numberOfRunways numberOfAprons) + +(=> + (numberOfRunways ?A ?N) + (exists (?R ?COLL) + (and + (instance ?R Runway) + (part ?R ?A) + (member ?R ?COLL) + (memberCount ?COLL ?N)))) + +(instance numberOfTaxiways BinaryPredicate) +(documentation numberOfTaxiways EnglishLanguage "(&%numberOfTaxiways ?A ?N) means + that &%Airport ?A has &%Integer ?N number of &%Taxiways.") +(domain numberOfTaxiways 1 Airport) +(domain numberOfTaxiways 2 Integer) +(relatedInternalConcept numberOfTaxiways numberOfAprons) + +(=> + (numberOfTaxiways ?A ?N) + (exists (?T ?COLL) + (and + (instance ?T Taxiway) + (part ?T ?A) + (member ?T ?COLL) + (memberCount ?COLL ?N)))) + (subclass AirportClassification RelationalAttribute) (documentation AirportClassification EnglishLanguage "&%AirportClassification is a class of &%Attributes for representing systems that categorize @@ -2099,6 +2228,29 @@ includes all non-locomotive, non-self-powered &%RailVehicles.") all the &%RailroadTrack and any outbuildings or other related structure in the terminal, as well as the &%TrainStation (if there is one).") +(subclass Railhead Railway) +(documentation Railhead EnglishLanguage "A &%Railhead is a point on a A point on a railway +system where goods (or passengers) are loaded, unloaded or transferred to other transport. [Wiktionary]") + +(=> + (and + (instance ?R Railhead) + (instance ?V RailVehicle) + (holdsDuring ?T + (located ?V ?R))) + (exists (?M) + (and + (patient ?M ?V) + (or + (and + (instance ?M Leaving) + (origin ?M ?R) + (during (WhenFn ?M) ?T)) + (and + (instance ?M Arriving) + (destination ?M ?R) + (during (WhenFn ?M) ?T)))))) + (subclass RoadTransportationSystem TransitSystem) (documentation RoadTransportationSystem EnglishLanguage "&%RoadTransportationSystem is the subclass of &%TransportationSystems whose routes are &%Roadways.") @@ -2480,7 +2632,7 @@ and take off.") (hasPurpose ?C (exists (?A ?T ?CLASS) (and - (instance ?A AirCraft) + (instance ?A Aircraft) (patient ?T ?A) (instance ?T ?CLASS) (or @@ -2584,7 +2736,7 @@ that the vessel can carry when immersed to the proper load line.") (instance ?L List) (inList ?X ?L) (equal ?T - (listSumFn ?L))))) + (ListSumFn ?L))))) (instance vesselGrossRegisteredTonnage BinaryPredicate) (domain vesselGrossRegisteredTonnage 1 WaterVehicle) @@ -2631,6 +2783,320 @@ large containers designed for shipping goods aboard &%ContainerShips.") (cargo ?S ?O) (holdsDuring (WhenFn ?S) (contains ?C ?O)))))) + +(subclass TwentyFtContainer ShipContainer) +(documentation TwentyFtContainer EnglishLanguage "A &%TwentyFtContainer is an +intermodal container, often used for container ships and container ports. +It is a standard-sized metal box that can be easily transferred between different +modes of transportation, such as ships, trains, and trucks. It is 20 feet (6.1 m) long, +8 feet (2.44 m) wide. It comes in three heights: standard - 8 feet 6 inches (2.59 m), +high cube - 9 feet 6 inches (2.90 m) and half-height - 4 feet 3 inches (1.30 m). [Wikipedia]") + +(=> + (instance ?T TwentyFtContainer) + (and + (length ?T + (MeasureFn 20 FootLength)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (defaultMeasure TwentyFtContainer + (MeasureFn ?X Kilogram)) + (and + (greaterThanOrEqualTo ?X 1800) + (lessThanOrEqualTo ?X 2400))) + +(defaultMaximumMeasure TwentyFtContainer + (MeasureFn 24000 Kilogram)) + +(=> + (and + (instance ?T TwentyFtContainer) + (attribute ?T Dry)) + (capacity ?T + (MeasureFn 21600 Kilogram))) + +(=> + (and + (instance ?T ShipContainer) + (capacity ?T + (MeasureFn ?X ?U)) + (instance ?X UnitOfMass) + (contains ?T ?O) + (weight ?O + (MeasureFn ?Y ?U)) + (lessThan ?Y ?X)) + (modalAttribute + (not + (exists (?D) + (and + (instance ?D Damaging) + (patient ?D ?T)))) Likely)) + +(subclass TwentyFtStandardContainer TwentyFtContainer) +(documentation TwentyFtStandardContainer EnglishLanguage "The &%TwentyFtStandardContainer +is the most common twenty-foot container. It occupies a space of 20 feet (6.1 m) long, +8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") +(termFormat EnglishLanguage TwentyFtStandardContainer "twenty foot standard container") + +(=> + (instance ?T TwentyFtStandardContainer) + (height ?T + (MeasureFn 102 Inch))) + +(=> + (instance ?X TwentyFtStandardContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtStandardContainer) + (measure ?X (MeasureFn 1172 CubicFoot))) + +(subclass TwentyFtHeavyDutyContainer TwentyFtContainer) +(documentation TwentyFtHeavyDutyContainer EnglishLanguage "The &%TwentyFtHeavyDutyContainer +is a twenty-foot heavy duty container for carrying heavy goods such as heavy machinery. +It occupies the same space as a &%TwentyFtStandardContainer of 20 feet (6.1 m) long, +8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. These containers allow a maximum +weight of 67,200 pounds (30,500 kg), an empty weight of 5,290 pounds (2,400 kg), and a net +load of 61,910 pounds (28,080 kg).[Wikipedia]") + +(=> + (instance ?T TwentyFtHeavyDutyContainer) + (hasPurpose ?T + (exists (?O ?X) + (and + (instance ?O Object) + (contains ?T ?O) + (measure ?O + (MeasureFn ?X Kilogram)) + (greaterThan ?X 21600) + (lessThanOrEqualTo ?X 28080))))) + +(defaultMaximumMeasure TwentyFtHeavyDutyContainer + (MeasureFn 30500 Kilogram)) + +(=> + (instance ?T TwentyFtHeavyDutyContainer) + (height ?T + (MeasureFn 102 Inch))) + +(=> + (instance ?X TwentyFtHeavyDutyContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtHeavyDutyContainer) + (measure ?X (MeasureFn 1172 CubicFoot))) + +(subclass TwentyFtHighcubeContainer TwentyFtContainer) +(documentation TwentyFtHighcubeContainer EnglishLanguage "A &%TwentyFtHighcubeContainer is +one foot taller than the &%TwentyFtStandardContainer. It occupies a space of 20 +feet (6.1 m) long, 8 feet (2.44 m) wide, and 9 feet 6 inches (2.90 m) high. [Wikipedia]") + +(=> + (instance ?T TwentyFtHighcubeContainer) + (height ?T + (MeasureFn 114 Inch))) + +(=> + (instance ?X TwentyFtHighcubeContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtHighcubeContainer) + (measure ?X (MeasureFn 1520 CubicFoot))) + +(subclass TwentyFtHalfHeightContainer TwentyFtContainer) +(documentation TwentyFtHalfHeightContainer EnglishLanguage "A &%TwentyFtHalfHeightContainer is +half the height of the &%TwentyFtStandardContainer. It occupies a space of 20 +feet (6.1 m) long, 8 feet (2.44 m) wide, and 4 feet 3 inches (1.3 m) high. [Wikipedia]") + +(=> + (instance ?T TwentyFtHalfHeightContainer) + (height ?T + (MeasureFn 53 Inch))) + +(=> + (instance ?X TwentyFtHalfHeightContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (instance ?X TwentyFtHalfHeightContainer) + (measure ?X (MeasureFn 680 CubicFoot))) + +(subclass FortyFtContainer ShipContainer) +(documentation FortyFtContainer EnglishLanguage "A &%FortyFtContainer is another standard &%ShipContainer. +It is twice the length of a &%TwentyFtContainer. The most common forty-foot container occupies a space of 40 +feet (12.2 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") + +(=> + (instance ?T FortyFtContainer) + (and + (length ?T + (MeasureFn 40 FootLength)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (defaultMeasure FortyFtContainer + (MeasureFn ?X Kilogram)) + (and + (greaterThanOrEqualTo ?X 2800) + (lessThanOrEqualTo ?X 4000))) + +(defaultMaximumMeasure FortyFtContainer + (MeasureFn 30480 Kilogram)) + +(=> + (and + (instance ?T FortyFtContainer) + (attribute ?T Dry)) + (capacity ?T + (MeasureFn 26480 Kilogram))) + +(subclass FortyFtStandardContainer FortyFtContainer) +(documentation FortyFtStandardContainer EnglishLanguage "A &%FortyFtStandardContainer +is most common forty-foot container. It occupies a space of 40 feet (12.2 m) long, 8 feet +(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") + +(=> + (instance ?T FortyFtStandardContainer) + (height ?T + (MeasureFn 102 Inch))) + +(=> + (instance ?X FortyFtStandardContainer) + (measure ?X (MeasureFn 2 TEU))) + +(=> + (instance ?X FortyFtStandardContainer) + (measure ?X (MeasureFn 2389 CubicFoot))) + +(subclass FortyFtHighcubeContainer FortyFtContainer) +(documentation FortyFtHighcubeContainer EnglishLanguage "A &%FortyFtHighcubeContainer is +one foot taller than the standard &%FortyFtContainer. It occupies a space of 40 +feet (12.2 m) long, 8 feet (2.44 m) wide, and 9 feet 6 inches (2.90 m) high. [Wikipedia]") + +(=> + (instance ?T FortyFtHighcubeContainer) + (height ?T + (MeasureFn 114 Inch))) + +(subclass FortyFtHalfHeightContainer FortyFtContainer) +(documentation FortyFtHalfHeightContainer EnglishLanguage "A &%FortyFtHalfHeightContainer is +half the height of the standard &%FortyFtContainer. It occupies a space of 40 +feet (12.2 m) long, 8 feet (2.44 m) wide, and 4 feet 3 inches (1.3 m) high. [Wikipedia]") + +(=> + (instance ?T FortyFtHalfHeightContainer) + (height ?T + (MeasureFn 53 Inch))) + +(subclass FortyfiveFtContainer ShipContainer) +(documentation FortyfiveFtContainer EnglishLanguage "A &%FortyfiveFtContainer may be pulled as +a trailer in Europe and most other places. It occupies a space of 45 feet (13.72 m) long, 8 feet +(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") + +(=> + (instance ?T FortyfiveFtContainer) + (and + (length ?T + (MeasureFn 45 FootLength)) + (height ?T + (MeasureFn 102 Inch)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (instance ?X FortyfiveFtContainer) + (measure ?X (MeasureFn 2 TEU))) + +(subclass FortyeightFtContainer ShipContainer) +(documentation FortyeightFtContainer EnglishLanguage "A &%FortyeightFtContainer is restricted +to road and rail transport in North America. It occupies a space of 48 feet (14.6 m) long, 8 feet +(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") + +(=> + (instance ?T FortyeightFtContainer) + (and + (length ?T + (MeasureFn 48 FootLength)) + (height ?T + (MeasureFn 102 Inch)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (instance ?X FortyeightFtContainer) + (measure ?X (MeasureFn 2.4 TEU))) + +(=> + (instance ?X FortyeightFtContainer) + (measure ?X (MeasureFn 3264 CubicFoot))) + +(subclass FiftythreeFtContainer ShipContainer) +(documentation FiftythreeFtContainer EnglishLanguage "A &%FiftythreeFtContainer is restricted +to road and rail transport in North America. It occupies a space of 53 feet (16.2 m) long, 8 feet +(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") + +(=> + (instance ?T FiftythreeFtContainer) + (and + (length ?T + (MeasureFn 53 FootLength)) + (height ?T + (MeasureFn 102 Inch)) + (width ?T + (MeasureFn 8 FootLength)))) + +(=> + (instance ?X FiftythreeFtContainer) + (measure ?X (MeasureFn 2.65 TEU))) + +(=> + (instance ?X FiftythreeFtContainer) + (measure ?X (MeasureFn 3604 CubicFoot))) + +(instance TEU UnitOfVolume) +(documentation TEU EnglishLanguage "&%TEU (twenty-foot equivalent unit) is a general +unit of cargo capacity, often used for container ships and container ports. It is based on +the volume of a 20-foot-long (6.1 m) intermodal container.The most common twenty-foot +container occupies a space 20 feet (6.1 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches +(2.59 m) high, with an allowance externally for the corner castings; the internal volume is +1,172 cubic feet (33.2 m3). However, both 9-foot-6-inch-tall (2.90 m) High cube and 4-foot-3-inch +(1.30 m) half height containers are also reckoned as 1 TEU. This gives a volume range of 680 to +1,520 cubic feet (19 to 43 m3) for one TEU. As TEU is an inexact unit, it cannot be converted +precisely into other units.[Wikipedia]") +(names "twenty-foot equivalent unit" TEU) +(relatedInternalConcept TEU FEU) + +(=> + (instance ?X TwentyFtContainer) + (measure ?X (MeasureFn 1 TEU))) + +(=> + (equal + (MeasureFn 1 TEU) + (MeasureFn ?X CubicFoot)) + (and + (greaterThanOrEqualTo ?X 680) + (lessThanOrEqualTo ?X 1520))) + +(instance FEU UnitOfVolume) +(documentation FEU EnglishLanguage "&%FEU (Forty-foot equivalent unit) is the capacity of +a &%FortyFtContainer. It is defined as equal to two TEU. [Wikipedia]") +(names "forty-foot equivalent unit" FEU) + +(=> + (instance ?X FortyFtContainer) + (measure ?X + (MeasureFn 1 FEU))) + +(equal + (MeasureFn 1 FEU) + (MeasureFn 2 TEU)) + ;;---------------------------------- ;; 3. Air Vehicles ; airplanes also travel on the ground, and some on water @@ -2755,6 +3221,73 @@ has the ability to play the &%CaseRole ?ROLE in &%Translocation of (instance ?REGION GeographicArea) (capability ?TYPE ?ROLE ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) + +(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]") +(relatedInternalConcept BiDirectionalTraffic UniDirectionalTraffic) +(contraryAttribute BiDirectionalTraffic UniDirectionalTraffic) + +(=> + (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)))) + +(instance UniDirectionalTraffic NormativeAttribute) +(documentation UniDirectionalTraffic EnglishLanguage "&%UniDirectionalTraffic is +a &%NormativeAttribute. A &%Transitway is &%UniDirectionalTraffic when it either +facilitating only one-way traffic, or designed to direct &%Vehicles to move in +one direction only.The condition holds when a government or an authority confers +prohibition for two way traffic.[Wikipedia]") + +(=> + (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)))) ;; 2. Transitway state @@ -3107,6 +3640,81 @@ stored.") (subclass TrainStation TransitTerminal) +(subclass MultimodalTransitPoint Region) +(subclass MultimodalTransitPoint TransitTerminal) +(documentation MultimodalTransitPoint EnglishLanguage "&%MultimodalTransitPoint is facility that +allows travelers to and freight to easily transition between different modes of transportation. +This can include rail, road, air and water transitway.") +(typicalPart MultimodalTransitPoint MultiModalTransitSystem) + +(=> + (instance ?X MultimodalTransitPoint) + (exists (?T1 ?A ?T2 ?B) + (and + (instance ?T1 (TransitFn ?A)) + (instance ?A AirTransitway) + (path ?T1 ?A) + (instance ?T2 (TransitFn ?B)) + (path ?T2 ?B) + (connects ?X ?A ?B) + (not + (equal ?T1 ?T2)) + (or + (instance ?B Railway) + (instance ?B Roadway) + (instance ?B Waterway))))) + +(=> + (instance ?X MultimodalTransitPoint) + (exists (?T1 ?A ?T2 ?B) + (and + (instance ?T1 (TransitFn ?A)) + (instance ?A Waterway) + (path ?T1 ?A) + (instance ?T2 (TransitFn ?B)) + (path ?T2 ?B) + (connects ?X ?A ?B) + (not + (equal ?T1 ?T2)) + (or + (instance ?B Railway) + (instance ?B Roadway) + (instance ?B AirTransitway))))) + +(=> + (instance ?X MultimodalTransitPoint) + (exists (?T1 ?A ?T2 ?B) + (and + (instance ?T1 (TransitFn ?A)) + (instance ?A Railway) + (path ?T1 ?A) + (instance ?T2 (TransitFn ?B)) + (path ?T2 ?B) + (connects ?X ?A ?B) + (not + (equal ?T1 ?T2)) + (or + (instance ?B Waterway) + (instance ?B Roadway) + (instance ?B AirTransitway))))) + + (=> + (instance ?X MultimodalTransitPoint) + (exists (?T1 ?A ?T2 ?B) + (and + (instance ?T1 (TransitFn ?A)) + (instance ?A Roadway) + (path ?T1 ?A) + (instance ?T2 (TransitFn ?B)) + (path ?T2 ?B) + (connects ?X ?A ?B) + (not + (equal ?T1 ?T2)) + (or + (instance ?B Waterway) + (instance ?B Railway) + (instance ?B AirTransitway))))) + (subclass TerminalBuilding Building) (documentation TerminalBuilding EnglishLanguage "A &%TerminalBuilding is a &%Building located at a &%TransitTerminal and used in connection with its @@ -3219,6 +3827,58 @@ mooring, at dockside or anchorage.") (documentation ShipBerthingFn EnglishLanguage "(ShipBerthingFn ?SHIP) denotes the class of &%ShipBerthings of an individual &%WaterVehicle ?SHIP.") +;; Transitway capacity + +(instance transitwayThroughputCapacity TernaryPredicate) +(documentation transitwayThroughputCapacity EnglishLanguage "&%transitwayThroughputCapacity is +a &%TernaryPredicate. It denotes the maximum number of vehicles that can be handled at a +&%Transitway at a given period of time.") +(domain transitwayThroughputCapacity 1 Transitway) +(domain transitwayThroughputCapacity 2 TimeInterval) +(domain transitwayThroughputCapacity 3 NonnegativeInteger) + +(=> + (and + (transitwayThroughputCapacity ?LT ?TI ?I) + (instance ?LT LandTransitway) + (instance ?C Collection) + (memberType ?C LandVehicle) + (memberCount ?C ?I2) + (member ?V ?C) + (instance ?T Transportation) + (instrument ?T ?V) + (during (WhenFn ?T) ?TI) + (path ?T ?LT)) + (greaterThanOrEqualTo ?I ?I2)) + +(=> + (and + (transitwayThroughputCapacity ?LT ?TI ?I) + (instance ?LT Waterway) + (instance ?C Collection) + (memberType ?C WaterVehicle) + (memberCount ?C ?I2) + (member ?V ?C) + (instance ?T Transportation) + (instrument ?T ?V) + (during (WhenFn ?T) ?TI) + (path ?T ?LT)) + (greaterThanOrEqualTo ?I ?I2)) + +(=> + (and + (transitwayThroughputCapacity ?LT ?TI ?I) + (instance ?LT AirTransitway) + (instance ?C Collection) + (memberType ?C Aircraft) + (memberCount ?C ?I2) + (member ?V ?C) + (instance ?T Transportation) + (instrument ?T ?V) + (during (WhenFn ?T) ?TI) + (path ?T ?LT)) + (greaterThanOrEqualTo ?I ?I2)) + ;;--------------------------------------------------------------------- ;; H. Transitway Obstacles diff --git a/Weather.kif b/Weather.kif index 1883d9d0..c869a82c 100644 --- a/Weather.kif +++ b/Weather.kif @@ -3081,7 +3081,7 @@ See https://www.airnow.gov/aqi/aqi-basics/") (format EnglishLanguage airQualityIndex "the &%airQualityIndex of %1 is %2") (subclass AirQualityAQIAttribute Attribute) -(documentation AirQualityAttribute EnglishLanguage "&%Attributes that partition the &%airQualityIndex +(documentation AirQualityAQIAttribute EnglishLanguage "&%Attributes that partition the &%airQualityIndex values according to https://www.airnow.gov/aqi/aqi-basics/.") (instance GoodAQIAirQuality AirQualityAQIAttribute) @@ -3164,7 +3164,67 @@ Health alert: The risk of health effects is increased for everyone.") (attribute ?L HazardousAQIAirQuality) (airQualityIndex ?L ?I))) (greaterThanOrEqualTo ?I 301)) - + +(subclass WeatherAssessment Report) +(documentation WeatherAssessment EnglishLanguage "A &%WeatherAssessment is a &%Report made +based on someone's believes in a &%WeatherProcess occured in the immediate past.") +(relatedInternalConcept WeatherAssessment weatherThreat) + +(=> + (instance ?WA WeatherAssessment) + (containsFormula ?WA + (exists (?R ?A ?WP) + (and + (instance ?R Reasoning) + (instance ?A CognitiveAgent) + (agent ?R ?A) + (instance ?WP WeatherProcess) + (patient ?R ?WP) + (result ?R ?WA) + (earlier (WhenFn ?WP) (WhenFn ?WA)))))) + +(subclass WeatherForecast FactualText) +(documentation WeatherForecast EnglishLanguage "A &%WeatherForecast is a &%FactualText made by +someone who &%believes a &%WeatherProcess will occur.") +(relatedInternalConcept WeatherForecast WeatherAssessment) +(relatedInternalConcept WeatherForecast weatherThreat) + +(=> + (instance ?WF WeatherForecast) + (containsInformation ?WF + (exists (?A) + (believes ?A + (exists (?WP) + (and + (instance ?WP WeatherProcess) + (during + (ImmediateFutureFn (WhenFn ?WF)) + (WhenFn ?WP)))))))) + +(instance weatherThreat QuaternaryPredicate) +(documentation weatherThreat EnglishLanguage "A &%weatherThreat is a &%Relation linking 4 arguments. +(weatherThreat ?WP ?P ?A ?TI) means it is believed that an instance of a class of &%WeatherProcess +?WP will occur in &%GeographicArea ?A during &%TimeInterval ?TI and it is not desirable to a GroupOfPeople +that it happens.") +(domainSubclass weatherThreat 1 WeatherProcess) +(domain weatherThreat 2 GroupOfPeople) +(domain weatherThreat 3 GeographicArea) +(domain weatherThreat 4 TimeInterval) + +(=> + (weatherThreat ?CLASS ?G ?A ?TI) + (exists (?M) + (believes ?M + (exists (?I) + (and + (member ?I ?G) + (holdsDuring ?TI + (exists (?WP) + (and + (instance ?WP ?CLASS) + (eventLocated ?WP ?A)))) + (not + (desires ?I ?WP))))))) diff --git a/development/Transport_2024.kif b/development/Transport_2024.kif index fa5184c4..20def85a 100644 --- a/development/Transport_2024.kif +++ b/development/Transport_2024.kif @@ -21,711 +21,31 @@ ;; ;; BEGIN FILE ;; -;; Taxiway - -(subclass Taxiway LandTransitway) -(documentation Taxiway EnglishLanguage "A &%Taxiway is a path for aircraft at an airport -connecting &%Runways with aprons, hangars, terminals and other facilities. [Wikipedia]") -(termFormat EnglishLanguage Taxiway "taxiway") - -(=> - (instance ?T Taxiway) - (exists (?A) - (and - (instance ?A Airport) - (located ?T ?A)))) - -(=> - (instance ?T Taxiway) - (hasPurpose ?T - (exists (?R ?AA) - (and - (instance ?R Runway) - (instance ?AA AirportApron) - (connects ?T ?R ?AA))))) - -(=> - (instance ?T Taxiway) - (trafficableForTrafficType ?T Airplane)) - -;; Apron -(subclass AirportApron ParkingRegion) -(documentation AirportApron EnglishLanguage "An &%AirportApron is the area of an airport where -aircrafts are parked, unloaded or loaded, refueled, boarded, or maintained.[Wikipedia]") -(termFormat EnglishLanguage AirportApron "airport apron") - -(=> - (instance ?AA AirportApron) - (exists (?A) - (and - (instance ?A Airport) - (located ?AA ?A)))) - -(=> - (instance ?AA AirportApron) - (hasPurpose ?AA - (exists (?P ?K) - (and - (instance ?P Airplane) - (instance ?K Keeping) - (patient ?K ?P) - (destination ?K ?AA))))) - -;; NumRunways -(instance numberOfRunways BinaryPredicate) -(documentation numberOfRunways EnglishLanguage "(&%numberOfRunways ?A ?N) means - that &%Airport ?A has &%Integer ?N number of &%Runways.") -(termFormat EnglishLanguage numberOfRunways "number of runways") -(domain numberOfRunways 1 Airport) -(domain numberOfRunways 2 Integer) -(format EnglishLanguage numberOfRunways "%1 has %2 &%Runways") -(relatedInternalConcept numberOfRunways numberOfTaxiways) -(relatedInternalConcept numberOfRunways numberOfAprons) - -(=> - (numberOfRunways ?A ?N) - (exists (?R ?COLL) - (and - (instance ?R Runway) - (part ?R ?A) - (member ?R ?COLL) - (memberCount ?COLL ?N)))) - -;; NumTaxiways -(instance numberOfTaxiways BinaryPredicate) -(documentation numberOfTaxiways EnglishLanguage "(&%numberOfTaxiways ?A ?N) means - that &%Airport ?A has &%Integer ?N number of &%Taxiways.") -(termFormat EnglishLanguage numberOfTaxiways "number of taxiways") -(domain numberOfTaxiways 1 Airport) -(domain numberOfTaxiways 2 Integer) -(format EnglishLanguage numberOfTaxiways "%1 has %2 &%Taxiway") -(relatedInternalConcept numberOfTaxiways numberOfAprons) - -(=> - (numberOfTaxiways ?A ?N) - (exists (?T ?COLL) - (and - (instance ?T Taxiway) - (part ?T ?A) - (member ?T ?COLL) - (memberCount ?COLL ?N)))) - +;; Taxiway moved to Transportation.kif +;; Apron moved to Transportation.kif +;; NumRunways moved to Transportation.kif +;; NumTaxiways moved to Transportation.kif ;; NumAprons -(instance numberOfAprons BinaryPredicate) -(documentation numberOfAprons EnglishLanguage "(&%numberOfRunways ?AA ?N) means - that &%Airport ?AA has &%Integer ?N number of &%Aprons.") -(termFormat EnglishLanguage numberOfAprons "number of aprons") -(domain numberOfAprons 1 Airport) -(domain numberOfAprons 2 Integer) -(format EnglishLanguage numberOfAprons "%1 has %2 &%Aprons") - -(=> - (numberOfAprons ?AA ?N) - (exists (?A ?COLL) - (and - (instance ?A AirportApron) - (part ?A ?AA) - (member ?A ?COLL) - (memberCount ?COLL ?N)))) - -;; Facility -(subclass Facility Region) -(documentation Facility EnglishLanguage "A &%Facility is a place for doing -something, or a place that facilitates an activity.[Wikipedia]") -(termFormat EnglishLanguage Facility "Facility") -(typicalPart StationaryArtifact Facility) - -(=> - (instance ?F Facility) - (hasPurpose ?F - (exists (?P) - (and - (instance ?P Process) - (eventLocated ?P ?F))))) + +;; Facility moved to MILO -;; Base -(subclass MilitaryBase Region) -(documentation MilitaryBase EnglishLanguage "A &%MilitaryBase is a facility directly owned and -operated by or for the military or one of its branches that shelters military equipment and personnel, -and facilitates training and operations.[1] A military base always provides accommodations for one or -more units, but it may also be used as a command center, training ground or proving ground.[Wikipedia]") -(termFormat EnglishLanguage MilitaryBase "military base") -(typicalPart MilitaryInstallation MilitaryBase) -(typicalPart EducationalFacility MilitaryBase) - -(=> - (instance ?B MilitaryBase) - (exists (?F) - (and - (instance ?F MilitaryForce) - (possesses ?F ?B)))) - -(=> - (instance ?B MilitaryBase) - (exists (?H) - (and - (instance ?H Human) - (attribute ?H MilitaryPerson) - (inhabits ?H ?B)))) - -;; Campus -(subclass EducationalCampus Region) -(documentation EducationalCampus EnglishLanguage "An &%EducationalCampus is the land on which -a college or &%University and related institutional buildings are situated.[Wikipedia]") -(termFormat EnglishLanguage EducationalCampus "educational campus") - -(=> - (instance ?C EducationalCampus) - (exists (?F) - (and - (instance ?F EducationalFacility) - (part ?F ?C)))) +;; Base moved to military processes + +;; Campus Moved to Milo -;; PortableRestroom -(subclass PortableRestroom MobileStructure) -(documentation PortableRestroom EnglishLanguage "A &%PortableRestroom contains a &%Toilet that is -intended to be moved around.[Wikipedia]") -(termFormat EnglishLanguage PortableRestroom "portable restroom") - -(=> - (instance ?P PortableRestroom) - (hasPurpose ?P - (exists (?T ?M) - (and - (instance ?T Toilet) - (contains ?P ?T) - (instance ?M Translocation) - (patient ?M ?P))))) - -;; Railhead -(subclass Railhead Railway) -(documentation Railhead EnglishLanguage "A &%Railhead is a point on a A point on a railway -system where goods (or passengers) are loaded, unloaded or transferred to other transport. [Wiktionary]") -(termFormat EnglishLanguage Railhead "railhead") - -(=> - (and - (instance ?R Railhead) - (instance ?V RailVehicle) - (holdsDuring ?T - (located ?V ?R))) - (exists (?M) - (and - (patient ?M ?V) - (or - (and - (instance ?M Leaving) - (origin ?M ?R) - (during (WhenFn ?M) ?T)) - (and - (instance ?M Arriving) - (destination ?M ?R) - (during (WhenFn ?M) ?T)))))) - -;; AerialPort -(subclass AircraftCarrier MilitaryAirport) -(subclass MilitaryAirport MilitaryInstallation) -(subclass MilitaryAirport Airport) -(documentation MilitaryAirport EnglishLanguage "An &%MilitaryAirport is an airport used as a military -base by a miliatry force for the operation of &%MilitaryAircraft. [Wikipedia]") -(termFormat EnglishLanguage MilitaryAirport "military airport") -(names "aerial port" MilitaryAirport) - -(=> - (instance ?A MilitaryAirport) - (hasPurpose ?A - (exists (?M ) - (and - (instance ?M MilitaryAircraft) - (or - (capableAtLocation TakingOff origin ?M ?A) - (capableAtLocation Landing destination ?M ?A)))))) - -;; AirportStagingArea -(subclass AirportStagingArea Region) -(documentation AirportStagingArea EnglishLanguage "An &%AirportStagingArea is a designated area -where equipment can be staged prior to the arrival or departure of an aircraft.[Wikipedia]") -(termFormat EnglishLanguage AirportStagingArea "military airport") - -(=> - (instance ?S AirportStagingArea) - (exists (?A) - (and - (instance ?A Airport) - (located ?S ?A)))) - -(=> - (instance ?S AirportStagingArea) - (hasPurpose ?S - (exists (?B ?C ?D ?T) - (and - (instance ?B Boarding) - (instance ?C Collection) - (instrument ?B ?C) - (member ?D ?C) - (instance ?D Device) - (locatedAtTime ?C ?T ?S) - (during ?T (WhenFn ?B)))))) - -(=> - (instance ?S AirportStagingArea) - (hasPurpose ?S - (exists (?DB ?C ?D ?T) - (and - (instance ?DB Deboarding) - (instance ?C Collection) - (instrument ?DB ?C) - (member ?D ?C) - (instance ?D Device) - (locatedAtTime ?C ?T ?S) - (during ?T (WhenFn ?DB)))))) - -;; PrivateOrganization -(subclass PrivateOrganization Organization) -(documentation PrivateOrganization EnglishLanguage "A &%PrivateOrganization is an organization -owned by private groups, usually as a means of establishment for profit or non profit, rather than -being owned by the government.[Wikipedia]") -(termFormat EnglishLanguage PrivateOrganization "Private organization") - -(=> - (instance ?P PrivateOrganization) - (not - (exists (?G) - (and - (instance ?G Government) - (possesses ?G ?P))))) - -;; PositionReport -(subclass PositionReport Report) -(documentation PositionReport EnglishLanguage "A &%PositionReport is a &%FactualText that -&%containsInformation about where something is located.") -(termFormat EnglishLanguage PositionReport "position report") - -(=> - (instance ?R PositionReport) - (containsFormula ?R - (exists (?O ?A) - (and - (instance ?O Object) - (instance ?A Region) - (located ?O - (WhenFn (?R)) ?A))))) - -;; Weather_Forecast -(subclass WeatherForecast FactualText) -(documentation WeatherForecast EnglishLanguage "A &%WeatherForecast is a &%FactualText made by -someone who &%believes a &%WeatherProcess will occur.") -(termFormat EnglishLanguage WeatherForecast "weather forecast") -(relatedInternalConcept WeatherForecast WeatherAssessment) -(relatedInternalConcept WeatherForecast weatherThreat) - -(=> - (instance ?WF WeatherForecast) - (containsInformation ?WF - (exists (?A) - (believes ?A - (exists (?WP) - (and - (instance ?WP WeatherProcess) - (during - (ImmediateFutureFn (WhenFn ?WF)) - (WhenFn ?WP)))))))) - -;; Weather_Assessment -(subclass WeatherAssessment Report) -(documentation WeatherAssessment EnglishLanguage "A &%WeatherAssessment is a &%Report made -based on someone's believes in a &%WeatherProcess occured in the immediate past.") -(termFormat EnglishLanguage WeatherAssessment "weather assessment") -(relatedInternalConcept WeatherAssessment weatherThreat) - -(=> - (instance ?WA WeatherAssessment) - (containsFormula ?WA - (exists (?R ?A ?WP) - (and - (instance ?R Reasoning) - (instance ?A CognitiveAgent) - (agent ?R ?A) - (instance ?WP WeatherProcess) - (patient ?R ?WP) - (result ?R ?WA) - (earlier (WhenFn ?WP) (WhenFn ?WA)))))) - -;; Weather_Threat -(instance weatherThreat QuaternaryPredicate) -(documentation weatherThreat EnglishLanguage "A &%weatherThreat is a &%Relation linking 4 arguments. -(weatherThreat ?WP ?P ?A ?TI) means it is believed that an instance of a class of &%WeatherProcess -?WP will occur in &%GeographicArea ?A during &%TimeInterval ?TI and it is not desirable to a GroupOfPeople -that it happens.") -(termFormat EnglishLanguage weatherThreat "weather threat") -(domainSubclass weatherThreat 1 WeatherProcess) -(domain weatherThreat 2 GroupOfPeople) -(domain weatherThreat 3 GeographicArea) -(domain weatherThreat 4 TimeInterval) -(format EnglishLanguage weatherThreat "%1 is a threat to %2 located at %3 during %4") - -(=> - (weatherThreat ?CLASS ?G ?A ?TI) - (exists (?M) - (believes ?M - (exists (?I) - (and - (member ?I ?G) - (holdsDuring ?TI - (exists (?WP) - (and - (instance ?WP ?CLASS) - (eventLocated ?WP ?A)))) - (not - (desires ?I ?WP))))))) - -;; target -(instance target CaseRole) -(subrelation target destination) -(documentation target EnglishLanguage "&%target is a &%subrelation of &%destination when -there is a &%Projectile as an &%instrument. (destination ?A ?O) means that ?O is the -target of an &%Attack ?A") -(termFormat EnglishLanguage target "target") -(domain target 1 Attack) -(domain target 2 Object) -(format EnglishLanguage target "%2 is the target of %1") - -(=> - (target ?A ?O) - (exists (?W ?P) - (and - (instance ?W Weapon) - (instrument ?A ?W) - (instance ?P Projectile) - (patient ?A ?P) - (destination ?A ?O)))) - -(subclass TwentyFtContainer ShipContainer) -(documentation TwentyFtContainer EnglishLanguage "A &%TwentyFtContainer is an -intermodal container, often used for container ships and container ports. -It is a standard-sized metal box that can be easily transferred between different -modes of transportation, such as ships, trains, and trucks. It is 20 feet (6.1 m) long, -8 feet (2.44 m) wide. It comes in three heights: standard - 8 feet 6 inches (2.59 m), -high cube - 9 feet 6 inches (2.90 m) and half-height - 4 feet 3 inches (1.30 m). [Wikipedia]") -(termFormat EnglishLanguage TwentyFtContainer "twenty foot container") - -(=> - (instance ?T TwentyFtContainer) - (and - (length ?T - (MeasureFn 20 FootLength)) - (width ?T - (MeasureFn 8 FootLength)))) - -(=> - (defaultMeasure TwentyFtContainer - (MeasureFn ?X Kilogram)) - (and - (greaterThanOrEqualTo ?X 1800) - (lessThanOrEqualTo ?X 2400))) - -(defaultMaximumMeasure TwentyFtContainer - (MeasureFn 24000 Kilogram)) - -(=> - (and - (instance ?T TwentyFtContainer) - (attribute ?T Dry)) - (capacity ?T - (MeasureFn 21600 Kilogram))) - -(=> - (and - (instance ?T ShipContainer) - (capacity ?T - (MeasureFn ?X ?U)) - (instance ?X UnitOfMass) - (contains ?T ?O) - (weight ?O - (MeasureFn ?Y ?U)) - (lessThan ?Y ?X)) - (modalAttribute - (not - (exists (?D) - (and - (instance ?D Damaging) - (patient ?D ?T)))) Likely)) - -(subclass TwentyFtStandardContainer TwentyFtContainer) -(documentation TwentyFtStandardContainer EnglishLanguage "The &%TwentyFtStandardContainer -is the most common twenty-foot container. It occupies a space of 20 feet (6.1 m) long, -8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") -(termFormat EnglishLanguage TwentyFtStandardContainer "twenty foot standard container") - -(=> - (instance ?T TwentyFtStandardContainer) - (height ?T - (MeasureFn 102 Inch))) - -(=> - (instance ?X TwentyFtStandardContainer) - (measure ?X (MeasureFn 1 TEU))) - -(=> - (instance ?X TwentyFtStandardContainer) - (measure ?X (MeasureFn 1172 CubicFoot))) - -(subclass TwentyFtHeavyDutyContainer TwentyFtContainer) -(documentation TwentyFtHeavyDutyContainer EnglishLanguage "The &%TwentyFtHeavyDutyContainer -is a twenty-foot heavy duty container for carrying heavy goods such as heavy machinery. -It occupies the same space as a &%TwentyFtStandardContainer of 20 feet (6.1 m) long, -8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. These containers allow a maximum -weight of 67,200 pounds (30,500 kg), an empty weight of 5,290 pounds (2,400 kg), and a net -load of 61,910 pounds (28,080 kg).[Wikipedia]") -(termFormat EnglishLanguage TwentyFtHeavyDutyContainer "twenty foot heavy duty container") - -(=> - (instance ?T TwentyFtHeavyDutyContainer) - (hasPurpose ?T - (exists (?O ?X) - (and - (instance ?O Object) - (contains ?T ?O) - (measure ?O - (MeasureFn ?X Kilogram)) - (greaterThan ?X 21600) - (lessThanOrEqualTo ?X 28080))))) - -(defaultMaximumMeasure TwentyFtHeavyDutyContainer - (MeasureFn 30500 Kilogram)) - -(=> - (instance ?T TwentyFtHeavyDutyContainer) - (height ?T - (MeasureFn 102 Inch))) - -(=> - (instance ?X TwentyFtHeavyDutyContainer) - (measure ?X (MeasureFn 1 TEU))) - -(=> - (instance ?X TwentyFtHeavyDutyContainer) - (measure ?X (MeasureFn 1172 CubicFoot))) - -(subclass TwentyFtHighcubeContainer TwentyFtContainer) -(documentation TwentyFtHighcubeContainer EnglishLanguage "A &%TwentyFtHighcubeContainer is -one foot taller than the &%TwentyFtStandardContainer. It occupies a space of 20 -feet (6.1 m) long, 8 feet (2.44 m) wide, and 9 feet 6 inches (2.90 m) high. [Wikipedia]") -(termFormat EnglishLanguage TwentyFtHighcubeContainer "twenty foot high cube container") - -(=> - (instance ?T TwentyFtHighcubeContainer) - (height ?T - (MeasureFn 114 Inch))) - -(=> - (instance ?X TwentyFtHighcubeContainer) - (measure ?X (MeasureFn 1 TEU))) - -(=> - (instance ?X TwentyFtHighcubeContainer) - (measure ?X (MeasureFn 1520 CubicFoot))) - -(subclass TwentyFtHalfHeightContainer TwentyFtContainer) -(documentation TwentyFtHalfHeightContainer EnglishLanguage "A &%TwentyFtHalfHeightContainer is -half the height of the &%TwentyFtStandardContainer. It occupies a space of 20 -feet (6.1 m) long, 8 feet (2.44 m) wide, and 4 feet 3 inches (1.3 m) high. [Wikipedia]") -(termFormat EnglishLanguage TwentyFtHalfHeightContainer "twenty foot half height container") - -(=> - (instance ?T TwentyFtHalfHeightContainer) - (height ?T - (MeasureFn 53 Inch))) - -(=> - (instance ?X TwentyFtHalfHeightContainer) - (measure ?X (MeasureFn 1 TEU))) - -(=> - (instance ?X TwentyFtHalfHeightContainer) - (measure ?X (MeasureFn 680 CubicFoot))) - -(subclass FortyFtContainer ShipContainer) -(documentation FortyFtContainer EnglishLanguage "A &%FortyFtContainer is another standard &%ShipContainer. -It is twice the length of a &%TwentyFtContainer. The most common forty-foot container occupies a space of 40 -feet (12.2 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") -(termFormat EnglishLanguage FortyFtContainer "forty foot container") - -(=> - (instance ?T FortyFtContainer) - (and - (length ?T - (MeasureFn 40 FootLength)) - (width ?T - (MeasureFn 8 FootLength)))) - -(=> - (defaultMeasure FortyFtContainer - (MeasureFn ?X Kilogram)) - (and - (greaterThanOrEqualTo ?X 2800) - (lessThanOrEqualTo ?X 4000))) - -(defaultMaximumMeasure FortyFtContainer - (MeasureFn 30480 Kilogram)) - -(=> - (and - (instance ?T FortyFtContainer) - (attribute ?T Dry)) - (capacity ?T - (MeasureFn 26480 Kilogram))) - -(subclass FortyFtStandardContainer FortyFtContainer) -(documentation FortyFtStandardContainer EnglishLanguage "A &%FortyFtStandardContainer -is most common forty-foot container. It occupies a space of 40 feet (12.2 m) long, 8 feet -(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") -(termFormat EnglishLanguage FortyFtStandardContainer "forty foot standard container") - -(=> - (instance ?T FortyFtStandardContainer) - (height ?T - (MeasureFn 102 Inch))) - -(=> - (instance ?X FortyFtStandardContainer) - (measure ?X (MeasureFn 2 TEU))) - -(=> - (instance ?X FortyFtStandardContainer) - (measure ?X (MeasureFn 2389 CubicFoot))) - -(subclass FortyFtHighcubeContainer FortyFtContainer) -(documentation FortyFtHighcubeContainer EnglishLanguage "A &%FortyFtHighcubeContainer is -one foot taller than the standard &%FortyFtContainer. It occupies a space of 40 -feet (12.2 m) long, 8 feet (2.44 m) wide, and 9 feet 6 inches (2.90 m) high. [Wikipedia]") -(termFormat EnglishLanguage FortyFtHighcubeContainer "forty foot high cube container") - -(=> - (instance ?T FortyFtHighcubeContainer) - (height ?T - (MeasureFn 114 Inch))) - -(subclass FortyFtHalfHeightContainer FortyFtContainer) -(documentation FortyFtHalfHeightContainer EnglishLanguage "A &%FortyFtHalfHeightContainer is -half the height of the standard &%FortyFtContainer. It occupies a space of 40 -feet (12.2 m) long, 8 feet (2.44 m) wide, and 4 feet 3 inches (1.3 m) high. [Wikipedia]") -(termFormat EnglishLanguage FortyFtHalfHeightContainer "forty foot half height container") - -(=> - (instance ?T FortyFtHalfHeightContainer) - (height ?T - (MeasureFn 53 Inch))) - -(subclass FortyfiveFtContainer ShipContainer) -(documentation FortyfiveFtContainer EnglishLanguage "A &%FortyfiveFtContainer may be pulled as -a trailer in Europe and most other places. It occupies a space of 45 feet (13.72 m) long, 8 feet -(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") -(termFormat EnglishLanguage FortyfiveFtContainer "forty five foot container") - -(=> - (instance ?T FortyfiveFtContainer) - (and - (length ?T - (MeasureFn 45 FootLength)) - (height ?T - (MeasureFn 102 Inch)) - (width ?T - (MeasureFn 8 FootLength)))) - -(=> - (instance ?X FortyfiveFtContainer) - (measure ?X (MeasureFn 2 TEU))) - -(subclass FortyeightFtContainer ShipContainer) -(documentation FortyeightFtContainer EnglishLanguage "A &%FortyeightFtContainer is restricted -to road and rail transport in North America. It occupies a space of 48 feet (14.6 m) long, 8 feet -(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") -(termFormat EnglishLanguage FortyeightFtContainer "forty eight foot container") - -(=> - (instance ?T FortyeightFtContainer) - (and - (length ?T - (MeasureFn 48 FootLength)) - (height ?T - (MeasureFn 102 Inch)) - (width ?T - (MeasureFn 8 FootLength)))) - -(=> - (instance ?X FortyeightFtContainer) - (measure ?X (MeasureFn 2.4 TEU))) - -(=> - (instance ?X FortyeightFtContainer) - (measure ?X (MeasureFn 3264 CubicFoot))) - -(subclass FiftythreeFtContainer ShipContainer) -(documentation FiftythreeFtContainer EnglishLanguage "A &%FiftythreeFtContainer is restricted -to road and rail transport in North America. It occupies a space of 53 feet (16.2 m) long, 8 feet -(2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") -(termFormat EnglishLanguage FiftythreeFtContainer "fifty three foot container") - -(=> - (instance ?T FiftythreeFtContainer) - (and - (length ?T - (MeasureFn 53 FootLength)) - (height ?T - (MeasureFn 102 Inch)) - (width ?T - (MeasureFn 8 FootLength)))) - -(=> - (instance ?X FiftythreeFtContainer) - (measure ?X (MeasureFn 2.65 TEU))) - -(=> - (instance ?X FiftythreeFtContainer) - (measure ?X (MeasureFn 3604 CubicFoot))) - -(instance TEU UnitOfVolume) -(documentation TEU EnglishLanguage "&%TEU (twenty-foot equivalent unit) is a general -unit of cargo capacity, often used for container ships and container ports. It is based on -the volume of a 20-foot-long (6.1 m) intermodal container.The most common twenty-foot -container occupies a space 20 feet (6.1 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches -(2.59 m) high, with an allowance externally for the corner castings; the internal volume is -1,172 cubic feet (33.2 m3). However, both 9-foot-6-inch-tall (2.90 m) High cube and 4-foot-3-inch -(1.30 m) half height containers are also reckoned as 1 TEU. This gives a volume range of 680 to -1,520 cubic feet (19 to 43 m3) for one TEU. As TEU is an inexact unit, it cannot be converted -precisely into other units.[Wikipedia]") -(termFormat EnglishLanguage TEU "teu") -(names "twenty-foot equivalent unit" TEU) -(relatedInternalConcept TEU FEU) - -(=> - (instance ?X TwentyFtContainer) - (measure ?X (MeasureFn 1 TEU))) - -(=> - (equal - (MeasureFn 1 TEU) - (MeasureFn ?X CubicFoot)) - (and - (greaterThanOrEqualTo ?X 680) - (lessThanOrEqualTo ?X 1520))) - -(instance FEU UnitOfVolume) -(documentation FEU EnglishLanguage "&%FEU (Forty-foot equivalent unit) is the capacity of -a &%FortyFtContainer. It is defined as equal to two TEU. [Wikipedia]") -(termFormat EnglishLanguage FEU "feu") -(names "forty-foot equivalent unit" FEU) - -(=> - (instance ?X FortyFtContainer) - (measure ?X - (MeasureFn 1 FEU))) - -(equal - (MeasureFn 1 FEU) - (MeasureFn 2 TEU)) - +;; PortableRestroom Moved to MILO + +;; Railhead moved to Transportation.kif +;; AirportStagingArea moved to Transportation.kif +;; PrivateOrganization moved to Milo +;; PositionReport moved to MILO +;; Weather_Forecast moved to Weather +;; Weather_Assessment moved to Weather +;; Weather_Threat moved to Weather +;; target moved to Millitary Processes + ;;TwentyFtContainer moved to Transportation.kif + ;; FortyFtContainer moved to Transportation.kif + ;; MTBF (instance MTBFFn UnaryFunction) (documentation MTBFFn EnglishLanguage "(&%MTBFFn ?D) denotes the mean time between faiures of @@ -745,454 +65,8 @@ time to failure for a non-repairable system. [Wikipedia]") ;during normal system operation. [Wikipedia]") ;(termFormat EnglishLanguage meanTimeToFailure "mttf") ;(termFormat EnglishLanguage meanTimeToFailure "mean time to failure") + -(subclass ArtifactAttribute RelationalAttribute) -(documentation ArtifactAttribute EnglishLanguage "&%ArtifactAttribute is used to -describe the status of an &%Artifact.") -(termFormat EnglishLanguage ArtifactAttribute "artifact attribute") - -(instance Repairable ArtifactAttribute) -(documentation Repairable EnglishLanguage "&%Repairable is an &%Attribute used to -describe an &%Artifact that can be designated for &%Repairing.") -(termFormat EnglishLanguage Repairable "repairable") -(relatedInternalConcept Repairable NonRepairable) - -(=> - (and - (instance ?A Artifact) - (attribute ?A Repairable)) - (exists (?R) - (and - (instance ?R Repairing) - (patient ?R ?A)))) - -(instance NonRepairable ArtifactAttribute) -(documentation NonRepairable EnglishLanguage "&%NonRepairable is an &%Attribute used to -describe an &%Artifact that cannot be desginated for &Repairing.") -(termFormat EnglishLanguage NonRepairable "non repairable") - -(=> - (and - (instance ?A Artifact) - (attribute ?A NonRepairable)) - (not - (exists (?R) - (and - (instance ?R Repairing) - (patient ?R ?A))))) - -(subclass MultimodalTransitPoint Region) -(subclass MultimodalTransitPoint TransitTerminal) -(documentation MultimodalTransitPoint EnglishLanguage "&%MultimodalTransitPoint is facility that -allows travelers to and freight to easily transition between different modes of transportation. -This can include rail, road, air and water transitway.") -(termFormat EnglishLanguage MultimodalTransitPoint "multi modal transportation point") - -(typicalPart MultimodalTransitPoint MultiModalTransitSystem) - -(=> - (instance ?X MultimodalTransitPoint) - (exists (?T1 ?A ?T2 ?B) - (and - (instance ?T1 (TransitFn ?A)) - (instance ?A AirTransitway) - (path ?T1 ?A) - (instance ?T2 (TransitFn ?B)) - (path ?T2 ?B) - (connects ?X ?A ?B) - (not - (equal ?T1 ?T2)) - (or - (instance ?B Railway) - (instance ?B Roadway) - (instance ?B Waterway))))) - -(=> - (instance ?X MultimodalTransitPoint) - (exists (?T1 ?A ?T2 ?B) - (and - (instance ?T1 (TransitFn ?A)) - (instance ?A Waterway) - (path ?T1 ?A) - (instance ?T2 (TransitFn ?B)) - (path ?T2 ?B) - (connects ?X ?A ?B) - (not - (equal ?T1 ?T2)) - (or - (instance ?B Railway) - (instance ?B Roadway) - (instance ?B AirTransitway))))) - -(=> - (instance ?X MultimodalTransitPoint) - (exists (?T1 ?A ?T2 ?B) - (and - (instance ?T1 (TransitFn ?A)) - (instance ?A Railway) - (path ?T1 ?A) - (instance ?T2 (TransitFn ?B)) - (path ?T2 ?B) - (connects ?X ?A ?B) - (not - (equal ?T1 ?T2)) - (or - (instance ?B Waterway) - (instance ?B Roadway) - (instance ?B AirTransitway))))) - - (=> - (instance ?X MultimodalTransitPoint) - (exists (?T1 ?A ?T2 ?B) - (and - (instance ?T1 (TransitFn ?A)) - (instance ?A Roadway) - (path ?T1 ?A) - (instance ?T2 (TransitFn ?B)) - (path ?T2 ?B) - (connects ?X ?A ?B) - (not - (equal ?T1 ?T2)) - (or - (instance ?B Waterway) - (instance ?B Railway) - (instance ?B AirTransitway))))) - -(instance transitwayThroughputCapacity TernaryPredicate) -(documentation transitwayThroughputCapacity EnglishLanguage "&%transitwayThroughputCapacity is -a &%TernaryPredicate. It denotes the maximum number of vehicles that can be handled at a -&%Transitway at a given period of time.") -(format EnglishLanguage transitwayThroughputCapacity "%1 can handle %3 number of vehicles during %2") -(domain transitwayThroughputCapacity 1 Transitway) -(domain transitwayThroughputCapacity 2 TimeInterval) -(domain transitwayThroughputCapacity 3 NonnegativeInteger) - -(=> - (and - (transitwayThroughputCapacity ?LT ?TI ?I) - (instance ?LT LandTransitway) - (instance ?C Collection) - (memberType ?C LandVehicle) - (memberCount ?C ?I2) - (member ?V ?C) - (instance ?T Transportation) - (instrument ?T ?V) - (during (WhenFn ?T) ?TI) - (path ?T ?LT)) - (greaterThanorEqualTo ?I ?I2)) - -(=> - (and - (transitwayThroughputCapacity ?LT ?TI ?I) - (instance ?LT Waterway) - (instance ?C Collection) - (memberType ?C WaterVehicle) - (memberCount ?C ?I2) - (member ?V ?C) - (instance ?T Transportation) - (instrument ?T ?V) - (during (WhenFn ?T) ?TI) - (path ?T ?LT)) - (greaterThanorEqualTo ?I ?I2)) - -(=> - (and - (transitwayThroughputCapacity ?LT ?TI ?I) - (instance ?LT AirTransitway) - (instance ?C Collection) - (memberType ?C Aircraft) - (memberCount ?C ?I2) - (member ?V ?C) - (instance ?T Transportation) - (instrument ?T ?V) - (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") -(relatedInternalConcept BiDirectionalTraffic UniDirectionalTraffic) -(contraryAttribute BiDirectionalTraffic UniDirectionalTraffic) - -(=> - (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)))) - -(instance UniDirectionalTraffic NormativeAttribute) -(documentation UniDirectionalTraffic EnglishLanguage "&%UniDirectionalTraffic is -a &%NormativeAttribute. A &%Transitway is &%UniDirectionalTraffic when it either -facilitating only one-way traffic, or designed to direct &%Vehicles to move in -one direction only.The condition holds when a government or an authority confers -prohibition for two way traffic.[Wikipedia]") -(termFormat EnglishLanguage UniDirectionalTraffic "unidirectional traffic") - -(=> - (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)))) - -(instance BlueforceControlled RelationalAttribute) -(documentation BlueforceControlled EnglishLanguage "&%BlueforceControlled is -a &%RelationalAttribute. An &%Object that is possessed by an agent that is -either &%part of the government or an &%Ally of the US government.") -(termFormat EnglishLanguage BlueforceControlled "blue force controlled") -(relatedInternalConcept BlueforceControlled Ally) - -(=> - (and - (attribute ?X BlueforceControlled) - (instance ?X Object)) - (exists (?A) - (and - (instance ?A GovernmentOrganization) - (possesses ?A ?X) - (or - (subOrganization ?A - (GovernmentFn UnitedStates)) - (allied ?A - (GovernmentFn UnitedStates)))))) - -(subclass Entering Translocation) -(documentation Entering EnglishLanguage "&%Entering is a &%subclass of &%Translocation -in which an object go into a &%Region. &%Entering itself, unlike the relation -&%entrance, does not required the object to go through a specified entrance.") -(termFormat EnglishLanguage Entering "entering") -(disjoint Entering Exiting) - -(=> - (instance ?E Entering) - (exists (?R ?A) - (and - (instance ?R Region) - (destination ?E ?R) - (agent ?E ?A) - (instance ?A AutonomousAgent) - (holdsDuring - (BeginFn (WhenFn ?E)) - (orientation ?A ?R Outside)) - (holdsDuring - (EndFn (WhenFn ?E)) - (orientation ?A ?R Inside))))) - -(subclass Exiting Translocation) -(documentation Exiting EnglishLanguage "&%Exiting is a &%subclass of &%Translocation -in which an object go out of a &%Region. It is the opposite of &%Entering.") -(termFormat EnglishLanguage Exiting "exiting") - -(=> - (instance ?E Exiting) - (exists (?R ?A) - (and - (instance ?R Region) - (origin ?E ?R) - (agent ?E ?A) - (instance ?A AutonomousAgent) - (holdsDuring - (BeginFn (WhenFn ?E)) - (orientation ?A ?R Inside)) - (holdsDuring - (EndFn (WhenFn ?E)) - (orientation ?A ?R Outside))))) - -(instance PhysicallyRestrictedRegion RelationalAttribute) -(documentation PhysicallyRestrictedRegion EnglishLanguage "&%PhysicallyRestrictedRegion is a -&%RelationalAttribute for a &%GeographicArea where there is always some level of physical boundary. -&%Entering into the region requires &%entrance through a specified region where a &%Permission is conferred. -This term is still under development in the sense that it is yet to be decided whether it is a -class or an attribute. Does putting a fence make a region a new region or change the attribute -of an existing region?") -(termFormat EnglishLanguage PhysicallyRestrictedRegion "physically restricted region") - -(=> - (and - (instance ?F Facility) - (attribute ?F PhysicallyRestrictedRegion)) - (exists (?B) - (and - (instance ?B Barrier) - (orientation ?F ?B Surrounded)))) - -(=> - (and - (instance ?F Facility) - (attribute ?F PhysicallyRestrictedRegion) - (entrance ?R ?F)) - (hasPurpose ?R - (exists (?E) - (and - (or - (instance ?E Entering) - (instance ?E Exiting)) - (path ?E ?R))))) - -(=> - (and - (instance ?F Facility) - (attribute ?F PhysicallyRestrictedRegion)) - (modalAttribute - (exists (?E ?R) - (and - (or - (instance ?E Entering) - (instance ?E Exiting)) - (path ?E ?R) - (not - (entrance ?R ?F)))) Unlikely)) - -(instance entrance BinaryPredicate) -(documentation entrance EnglishLanguage "&%entrance is a &%BinaryPredicate. -In (entrance ?R ?F), ?R is the entrance into the &%Facility ?F. Both ?R -and ?F are Regions. If one is entering the facility ?F, then -one is obliged to enter via ?R.") -(termFormat EnglishLanguage entrance "entrance") -(format EnglishLanguage entrance "%1 is the entrance for %2 ") -(domain entrance 1 Region) -(domain entrance 2 Region) - -(=> - (and - (instance ?E Entering) - (destination ?E ?F) - (attribute ?F PhysicallyRestrictedRegion)) - (modalAttribute - (exists (?R) - (and - (entrance ?R ?F) - (path ?E ?R))) Obligation)) - -(=> - (and - (instance ?E Entering) - (destination ?E ?F) - (attribute ?F PhysicallyRestrictedRegion) - (not - (entrance ?R ?F))) - (modalAttribute - (path ?E ?R) Prohibition)) - -(=> - (and - (instance ?E Exiting) - (origin ?E ?F) - (attribute ?F PhysicallyRestrictedRegion)) - (modalAttribute - (exists (?R) - (and - (entrance ?R ?F) - (path ?E ?R))) Obligation)) - -(=> - (and - (instance ?E Exiting) - (origin ?E ?F) - (attribute ?F PhysicallyRestrictedRegion) - (not - (entrance ?R ?F))) - (modalAttribute - (path ?E ?R) Prohibition)) - -(instance MilitarilySecure RelationalAttribute) -(documentation MilitarilySecure EnglishLanguage "&%MilitarilySecure is -a &%RelationalAttribute. A &%Facility that is &%MilitarilySecure is owned -by a &%MilitaryForce. There does not exist an agent that is an &%Enemy of the -military force to launch an attack in which the destintation is the -the facility and there is no enemy located at the facility, except for prisoners -who were captured from the enemy.") -(termFormat EnglishLanguage MilitarilySecure "militarily secure") -(relatedInternalConcept BlueforceControlled MilitarilySecure) -(relatedInternalConcept Ally MilitarilySecure) - -(=> - (and - (instance ?F Facility) - (holdsDuring ?T - (attribute ?F MilitarilySecure)) - (instance ?MF MilitaryForce) - (possesses ?MF ?F)) - (not - (exists (?A ?E) - (and - (instance ?A Attack) - (during ?T (WhenFn ?A)) - (destination ?A ?F) - (agent ?A ?E) - (enemy ?MF ?E))))) - -(=> - (and - (instance ?F Facility) - (holdsDuring ?T - (attribute ?F MilitarilySecure)) - (instance ?MF MilitaryForce) - (possesses ?MF ?F)) - (not - (exists (?E) - (and - (enemy ?MF ?E) - (holdsDuring ?T - (and - (located ?E ?F) - (not - (attribute ?E PrisonerOfWar)))))))) - -(subclass SecureAirfield MilitaryInstallation) -(documentation SecureAirfield EnglishLanguage "&%SecureAirfield is an airfield that is -&%MilitarilySeucre. ") -(termFormat EnglishLanguage SecureAirfield "secure airfield") - -(=> - (instance ?SA SecureAirfield) - (exists (?A) - (and - (instance ?A Airport) - (attribute ?A MilitarilySecure)))) diff --git a/domainEnglishFormat.kif b/domainEnglishFormat.kif index 82676510..cd865dc0 100644 --- a/domainEnglishFormat.kif +++ b/domainEnglishFormat.kif @@ -3301,6 +3301,8 @@ (format ChineseTraditionalLanguage enjoys "%1 &%enjoys %2 ") (format ChineseLanguage enjoys "%1 &%enjoys %2 ") +(format EnglishLanguage entrance "%1 is the entrance for %2 ") + (format EnglishLanguage environmentAttributes "%2 is an &%attribute of %1") (format ChineseTraditionalLanguage environmentAttributes "%2 是 %1 的 &%attribute ") (format ChineseLanguage environmentAttributes "%2 是 %1 的 &%attribute ") @@ -3981,6 +3983,8 @@ (format ChineseTraditionalLanguage numberOccupant "%1 也許 &%have %2 居住者") (format ChineseLanguage numberOccupant "%1 也许 &%have %2 居住者") +(format EnglishLanguage numberOfAprons "%1 has %2 &%Aprons") + (format EnglishLanguage numberOfCustomers "%2 is for %1 &%customers") (format ChineseTraditionalLanguage numberOfCustomers "%2 是對於 %1 &%customers ") (format ChineseLanguage numberOfCustomers "%2 是对于 %1 &%customers ") @@ -3989,6 +3993,10 @@ (format ChineseTraditionalLanguage numberOfFloors "%1 有 %2 &%floors ") (format ChineseLanguage numberOfFloors "%1 有 %2 &%floors ") +(format EnglishLanguage numberOfRunways "%1 has %2 &%Runways") + +(format EnglishLanguage numberOfTaxiways "%1 has %2 &%Taxiway") + (format EnglishLanguage numberSeniorOccupant "%1 is for %2 &%seniors") (format ChineseTraditionalLanguage numberSeniorOccupant "%1 是對於 %2 &%seniors ") (format ChineseLanguage numberSeniorOccupant "%1 是对于 %2 &%seniors ") @@ -4789,6 +4797,8 @@ ;;(format ChineseTraditionalLanguage TourOnAreaFn "%1 的 &%tour ") ;;(format ChineseLanguage TourOnAreaFn "%1 的 &%tour ") +(format EnglishLanguage transitwayThroughputCapacity "%1 can handle %3 number of vehicles during %2") + (format EnglishLanguage translatedTitle "the &%title of %2 translated into %3 is %1") (format ChineseTraditionalLanguage translatedTitle "%2 的 &%title 翻譯到 %3 是 %1 ") (format ChineseLanguage translatedTitle "%2 的 &%title 翻译到 %3 是 %1 ") @@ -4941,6 +4951,8 @@ (format ChineseTraditionalLanguage wavelength "%1 的 &%wavelength 是 %2 ") (format ChineseLanguage wavelength "%1 的 &%wavelength 是 %2 ") +(format EnglishLanguage weatherThreat "%1 is a threat to %2 located at %3 during %4") + (format EnglishLanguage webcart "user %1 at %3 has &%cart %2") (format ChineseTraditionalLanguage webcart "使用者 %1 在 %3 有 &%cart %2 ") (format ChineseLanguage webcart "使用者 %1 在 %3 有 &%cart %2 ") @@ -6215,6 +6227,8 @@ ;; (termFormat JapaneseLanguage Airport "空港") ;; (termFormat GermanLanguage Airport "Flughafen") +(termFormat EnglishLanguage AirportApron "airport apron") + (termFormat EnglishLanguage AirportByRunwaySurface "airport by runway surface") (termFormat ChineseTraditionalLanguage AirportByRunwaySurface "跑道表面的機場") (termFormat ChineseLanguage AirportByRunwaySurface "跑道表面的机场") @@ -6233,6 +6247,8 @@ ;; (termFormat JapaneseLanguage AirportOperations "空港運営") ;; (termFormat GermanLanguage AirportOperations "Flughafenbetrieb") +(termFormat EnglishLanguage AirportStagingArea "airport staging area") + (termFormat EnglishLanguage AirportWithPavedRunway "airport with paved runway") (termFormat ChineseTraditionalLanguage AirportWithPavedRunway "機場有著鋪設跑道") (termFormat ChineseLanguage AirportWithPavedRunway "机场有着铺设跑道") @@ -10403,6 +10419,12 @@ (termFormat EnglishLanguage NumberList "number list") (termFormat ChineseLanguage NumberList "数字串列") +(termFormat EnglishLanguage numberOfAprons "number of aprons") + +(termFormat EnglishLanguage numberOfRunways "number of runways") + +(termFormat EnglishLanguage numberOfTaxiways "number of taxiways") + (termFormat EnglishLanguage measuringResult "measuring result") (termFormat ChineseLanguage measuringResult "量度结果") @@ -10959,6 +10981,8 @@ (termFormat ChineseLanguage Bicycle "自行车") ;; (termFormat JapaneseLanguage Bicycle "自転車") ;; (termFormat GermanLanguage Bicycle "Fahrrad") + +(termFormat EnglishLanguage BiDirectionalTraffic "bidirectional traffic") (termFormat EnglishLanguage bidPrice "bid price") (termFormat ChineseTraditionalLanguage bidPrice "競標價格") @@ -22178,6 +22202,8 @@ (termFormat ChineseLanguage entails "意味") ;; (termFormat JapaneseLanguage entails "伴う") ;; (termFormat GermanLanguage entails "mit") + +(termFormat EnglishLanguage Entering "entering") (termFormat EnglishLanguage EnteringAPin "entering a PIN") (termFormat ChineseTraditionalLanguage EnteringAPin "輸入PIN碼") @@ -22772,6 +22798,8 @@ ;(termFormat ChineseLanguage exists "存在") ;; (termFormat JapaneseLanguage exists "存在する") ;; (termFormat GermanLanguage exists "existiert") + +(termFormat EnglishLanguage Exiting "exiting") (termFormat EnglishLanguage Exoskeleton "exoskeleton") (termFormat ChineseTraditionalLanguage Exoskeleton "外骨骼") @@ -23568,7 +23596,9 @@ (termFormat ChineseLanguage FetTransistor "fet 晶体管") ;; (termFormat JapaneseLanguage FetTransistor "FETトランジスタ") ;; (termFormat GermanLanguage FetTransistor "Fet-Transistor") - + +(termFormat EnglishLanguage FEU "feu") + (termFormat EnglishLanguage Fever "fever") (termFormat ChineseTraditionalLanguage Fever "發熱") (termFormat ChineseLanguage Fever "发热") @@ -24768,6 +24798,18 @@ (termFormat ChineseLanguage FormText "表格文字") ;; (termFormat JapaneseLanguage FormText "フォームテキスト") ;; (termFormat GermanLanguage FormText "Formulartext") + +(termFormat EnglishLanguage FortyeightFtContainer "forty eight foot container") + +(termFormat EnglishLanguage FortyfiveFtContainer "forty five foot container") + +(termFormat EnglishLanguage FortyFtContainer "forty foot container") + +(termFormat EnglishLanguage FortyFtHalfHeightContainer "forty foot half height container") + +(termFormat EnglishLanguage FortyFtHighcubeContainer "forty foot high cube container") + +(termFormat EnglishLanguage FortyFtStandardContainer "forty foot standard container") (termFormat EnglishLanguage FossilFuel "fossil fuel") (termFormat ChineseTraditionalLanguage FossilFuel "化石燃料") @@ -39141,7 +39183,9 @@ (termFormat ChineseLanguage MultihullWaterVehicle "多体船水车") ;; (termFormat JapaneseLanguage MultihullWaterVehicle "多胴船") ;; (termFormat GermanLanguage MultihullWaterVehicle "Mehrrumpf-Wasserfahrzeug") - + +(termFormat EnglishLanguage MultimodalTransitPoint "multi modal transportation point") + (termFormat EnglishLanguage MultiModalTransitSystem "multi modal transit system") (termFormat ChineseTraditionalLanguage MultiModalTransitSystem "多式聯運系統") (termFormat ChineseLanguage MultiModalTransitSystem "多式联运系统") @@ -48614,7 +48658,9 @@ (termFormat ChineseLanguage RailCarrierControl "铁路运输控制") ;; (termFormat JapaneseLanguage RailCarrierControl "レールキャリア制御") ;; (termFormat GermanLanguage RailCarrierControl "Schienenträgersteuerung") - + +(termFormat EnglishLanguage Railhead "railhead") + (termFormat EnglishLanguage TrackGauge "track gauge") (termFormat ChineseTraditionalLanguage TrackGauge "軌距") (termFormat ChineseLanguage TrackGauge "轨距") @@ -57085,6 +57131,8 @@ (termFormat ChineseLanguage TaxiService "出租车服务") ;; (termFormat JapaneseLanguage TaxiService "タクシーサービス") ;; (termFormat GermanLanguage TaxiService "Taxi-Service") + +(termFormat EnglishLanguage Taxiway "taxiway") (termFormat EnglishLanguage Taxonomy "taxonomy") (termFormat ChineseTraditionalLanguage Taxonomy "分類") @@ -57674,7 +57722,9 @@ (termFormat ChineseLanguage TetunBasedCreoleLanguage "基于tetun的克里奥尔语") ;; (termFormat JapaneseLanguage TetunBasedCreoleLanguage "tetunベースのクレオール言語") ;; (termFormat GermanLanguage TetunBasedCreoleLanguage "Tetun-basierte") - + +(termFormat EnglishLanguage TEU "teu") + (termFormat EnglishLanguage TeutonicEthnicity "teutonic ethnicity") (termFormat ChineseTraditionalLanguage TeutonicEthnicity "條頓人種族") (termFormat ChineseLanguage TeutonicEthnicity "条顿人种族") @@ -59678,7 +59728,15 @@ (termFormat ChineseLanguage TwentsLanguage "twents语言") ;; (termFormat JapaneseLanguage TwentsLanguage "twents言語") ;; (termFormat GermanLanguage TwentsLanguage "zwanzig") - + +(termFormat EnglishLanguage TwentyFtContainer "twenty foot container") + +(termFormat EnglishLanguage TwentyFtHalfHeightContainer "twenty foot half height container") + +(termFormat EnglishLanguage TwentyFtHeavyDutyContainer "twenty foot heavy duty container") + +(termFormat EnglishLanguage TwentyFtHighcubeContainer "twenty foot high cube container") + (termFormat EnglishLanguage TwoDimensionalAngle "two dimensional angle") (termFormat ChineseTraditionalLanguage TwoDimensionalAngle "二維角度") (termFormat ChineseLanguage TwoDimensionalAngle "二维角度") @@ -59936,6 +59994,8 @@ (termFormat ChineseLanguage UnicameralLegislature "一院制立法机关") ;; (termFormat JapaneseLanguage UnicameralLegislature "一院制議会") ;; (termFormat GermanLanguage UnicameralLegislature "Einkammer-Gesetzgeber") + +(termFormat EnglishLanguage UniDirectionalTraffic "unidirectional traffic") (termFormat EnglishLanguage UniformPerimeterArea "uniform perimeter area") (termFormat ChineseTraditionalLanguage UniformPerimeterArea "均勻的周邊區域") @@ -65765,6 +65825,7 @@ (termFormat EnglishLanguage amount "amount") (termFormat EnglishLanguage applicableRelation "applicable relation") (termFormat EnglishLanguage approximateValue "approximate value") +(termFormat EnglishLanguage ArtifactAttribute "artifact attribute") (termFormat EnglishLanguage attitudeForFormula "attitude for formula") (termFormat EnglishLanguage attitudeForObject "attitude for object") (termFormat EnglishLanguage attribute "attribute") @@ -65803,16 +65864,20 @@ (termFormat EnglishLanguage dressCode "dress code") (termFormat EnglishLanguage eCommerceSite "e-commerce site") (termFormat EnglishLanguage earthAltitude "earth altitude") +(termFormat EnglishLanguage EducationalCampus "educational campus") (termFormat EnglishLanguage emotionTendency "emotion tendency") (termFormat EnglishLanguage enemy "enemy") (termFormat EnglishLanguage engineCylinders "engine cylinders") (termFormat EnglishLanguage engineDisplacement "engine displacement") (termFormat EnglishLanguage engineIdleSpeed "engine idle speed") +(termFormat EnglishLanguage entrance "entrance") (termFormat EnglishLanguage ethnicityPercentInRegion "ethnicity percent in region") (termFormat EnglishLanguage exactCardinality "exact cardinality") (termFormat EnglishLanguage exists "exists") (termFormat EnglishLanguage externalImage "external image") +(termFormat EnglishLanguage Facility "Facility") (termFormat EnglishLanguage faxNumber "fax number") +(termFormat EnglishLanguage FiftythreeFtContainer "fifty three foot container") (termFormat EnglishLanguage filename "filename") (termFormat EnglishLanguage financialAccount "financial account") (termFormat EnglishLanguage financialAsset "financial asset") @@ -65870,6 +65935,7 @@ (termFormat EnglishLanguage nameBeforeKeyName "name before key name") (termFormat EnglishLanguage nameIndexOrder "name index order") (termFormat EnglishLanguage negotiatedPrice "negotiated price") +(termFormat EnglishLanguage NonRepairable "non repairable") (termFormat EnglishLanguage nounGender "noun gender") (termFormat EnglishLanguage numberOfCustomers "number of customers") (termFormat EnglishLanguage objectTransferred "object transferred") @@ -65877,6 +65943,7 @@ (termFormat EnglishLanguage offersAtTime "offers at time") (termFormat EnglishLanguage organizationName "organization name") (termFormat EnglishLanguage originalTitle "original title") +(termFormat EnglishLanguage PortableRestroom "portable restroom") (termFormat EnglishLanguage parasitic "parasitic") (termFormat EnglishLanguage partTypes "part types") (termFormat EnglishLanguage pastTense "past tense") @@ -65885,8 +65952,10 @@ (termFormat EnglishLanguage phMeasure "pH measure") (termFormat EnglishLanguage physicalAmplitude "physical amplitude") (termFormat EnglishLanguage physicalDomain "physical domain") +(termFormat EnglishLanguage PhysicallyRestrictedRegion "physically restricted region") (termFormat EnglishLanguage pistonStroke "piston stroke") (termFormat EnglishLanguage policyLocationCoverage "policy location coverage") +(termFormat EnglishLanguage PositionReport "position report") (termFormat EnglishLanguage postAddressText "post address text") (termFormat EnglishLanguage postCity "post city") (termFormat EnglishLanguage postContactSite "post contact site") @@ -65900,6 +65969,7 @@ (termFormat EnglishLanguage potentialCustomer "potential customer") (termFormat EnglishLanguage precedesInString "precedes in string") (termFormat EnglishLanguage preventsSubclass "prevents subclass") +(termFormat EnglishLanguage PrivateOrganization "Private organization") (termFormat EnglishLanguage protocolForConnector "protocol for connector") (termFormat EnglishLanguage qualifiedExperiment "qualified experiment") (termFormat EnglishLanguage qualifiedPageView "qualified page view") @@ -65908,6 +65978,7 @@ (termFormat EnglishLanguage recoveryKey "recovery key") (termFormat EnglishLanguage referee "referee") (termFormat EnglishLanguage referenceTitle "reference title") +(termFormat EnglishLanguage Repairable "repairable") (termFormat EnglishLanguage reservationChannel "reservation channel") (termFormat EnglishLanguage reservationEnd "reservation end") (termFormat EnglishLanguage reservationStart "reservation start") @@ -65955,6 +66026,9 @@ (termFormat EnglishLanguage unitPrice "unit price") (termFormat EnglishLanguage userName "user name") (termFormat EnglishLanguage utterance "utterance") +(termFormat EnglishLanguage WeatherAssessment "weather assessment") +(termFormat EnglishLanguage WeatherForecast "weather forecast") +(termFormat EnglishLanguage weatherThreat "weather threat") (termFormat EnglishLanguage weddingdate "weddingdate") ;;(termFormat EnglishLanguage widthLimit "width limit") (termFormat EnglishLanguage workLocation "work location")