flagState - Sigma Knowledge base Browser

appearance as argument number 1

(documentation flagState EnglishLanguage "(flagState ?SHIP ?AREA) means that the Ship ?SHIP is enrolled in the ShipRegister of the GeopoliticalArea ?AREA and is subject to its maritime laws, regulations for operation of the ship, and rules of taxation.")	Transportation.kif 1082-1085
(domain flagState 1 WaterVehicle)	Transportation.kif 1080-1080	The number 1 argument of flag state is an instance of water vehicle
(domain flagState 2 GeopoliticalArea)	Transportation.kif 1081-1081	The number 2 argument of flag state is an instance of geopolitical area
(instance flagState BinaryPredicate)	Transportation.kif 1077-1077	flag state is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage flagState "%2 %n 是 %1 的 flag 状态")	domainEnglishFormat.kif 1049-1049
(format ChineseTraditionalLanguage flagState "%2 %n 是 %1 的 flag 狀態")	domainEnglishFormat.kif 1048-1048
(format EnglishLanguage flagState "%2 is %n a flag state of %1")	domainEnglishFormat.kif 1047-1047
(names "flag of registry" flagState)	Transportation.kif 1079-1079	flag state has name "flag of registry"
(names "flag state" flagState)	Transportation.kif 1078-1078	flag state has name "flag state"
(termFormat ChineseLanguage flagState "国旗")	domainEnglishFormat.kif 24186-24186	flag state has name "flag state"
(termFormat ChineseTraditionalLanguage flagState "國旗")	domainEnglishFormat.kif 24185-24185	flag state has name "flag state"
(termFormat EnglishLanguage flagState "flag state")	domainEnglishFormat.kif 24184-24184	flag state has name "flag state"

antecedent

(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))

Transportation.kif 1097-1104