TreeView 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	flagState の数値 1 引数は WaterVehicle の instance では %n
(domain flagState 2 GeopoliticalArea)	Transportation.kif 1081-1081	flagState の数値 2 引数は地政学的地域の instance では %n
(instance flagState BinaryPredicate)	Transportation.kif 1077-1077	flagState は 2進述語の instance では %n

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	flagState は "flag of registry" の name を持って %n{ない}
(names "flag state" flagState)	Transportation.kif 1078-1078	flagState は "flag state" の name を持って %n{ない}
(termFormat ChineseLanguage flagState "国旗")	domainEnglishFormat.kif 24164-24164
(termFormat ChineseTraditionalLanguage flagState "國旗")	domainEnglishFormat.kif 24163-24163
(termFormat EnglishLanguage flagState "flag state")	domainEnglishFormat.kif 24162-24162

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