(=>
(instance ?STATE AmericanState)
(part ?STATE UnitedStates)) |
CountriesAndRegions.kif 25-27 |
If X is an instance of american state, then X is a part of united states |
(=>
(instance ?CITY AmericanCity)
(part ?CITY UnitedStates)) |
CountriesAndRegions.kif 39-41 |
If X is an instance of american city, then X is a part of united states |
(=>
(instance ?AREA UnincorporatedUnitedStatesTerritory)
(dependentAreaOfType ?AREA UnitedStates OverseasArea)) |
Government.kif 479-481 |
If X is an instance of unincorporated united states territory, then X dependent area of type united states for overseas area |
(=>
(attribute ?H PresidentOfTheUnitedStates)
(leader ?H UnitedStates)) |
Government.kif 1465-1467 |
If president of the united states is an attribute of X, then united states is a leader of X |
(=>
(member ?AREA UnitedStatesMinorOutlyingIslands)
(dependentGeopoliticalArea ?AREA UnitedStates)) |
Media.kif 2616-2618 |
If X is a member of United states minor outlying islands, then X is a dependent of united states |
(=>
(and
(instance ?ATTR USMilitaryRank)
(attribute ?PERSON ?ATTR))
(exists (?MO)
(and
(member ?PERSON ?MO)
(militaryOfArea ?MO UnitedStates)))) |
Military.kif 335-342 |
If X is an instance of US military rank and X is an attribute of Y, then there exists Z such that Y is a member of Z and united states is a military of area of Z |
(=>
(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)))))) |
MilitaryProcesses.kif 2831-2843 |
If blue force controlled is an attribute of X and X is an instance of object, then there exists Y such that Y is an instance of government organization, Y possesses X, Y is a part of the organization the government of united states or Y, and the government of united states are allies of each other |
(=>
(and
(instance ?X WaterTransportationService)
(serviceProvider ?X ?Y)
(attribute ?Y CoastalAndGreatLakesFreightTransportation))
(exists (?FREIGHT ?SHIP ?WATER)
(and
(subProcess ?FREIGHT ?X)
(instance ?FREIGHT WaterTransportation)
(instrument ?FREIGHT ?SHIP)
(instance ?SHIP CargoShip)
(eventLocated ?FREIGHT ?WATER)
(instance ?WATER WaterArea)
(geographicSubregion ?WATER UnitedStates)))) |
naics.kif 8184-8197 |
If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes freight transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of cargo ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states |
(=>
(and
(instance ?X WaterTransportationService)
(serviceProvider ?X ?Y)
(attribute ?Y CoastalAndGreatLakesPassengerTransportation))
(exists (?CRUISE ?SHIP ?WATER)
(and
(subProcess ?CRUISE ?X)
(instance ?CRUISE WaterTransportation)
(instrument ?CRUISE ?SHIP)
(instance ?SHIP PassengerShip)
(eventLocated ?CRUISE ?WATER)
(instance ?WATER WaterArea)
(geographicSubregion ?WATER UnitedStates)
(not
(exists (?FERRY)
(and
(instance ?FERRY ShortSeaPassengerShip)
(equal ?SHIP ?FERRY))))))) |
naics.kif 8207-8225 |
If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of passenger ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states (9) there doesn't exist U such that U is an instance of short sea passenger ship (10) equal W (11) U |
