Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - flagState
flagState

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 1071-1074
(domain flagState 1 WaterVehicle) Transportation.kif 1069-1069 The number 1 argument of flag state is an instance of water vehicle
(domain flagState 2 GeopoliticalArea) Transportation.kif 1070-1070 The number 2 argument of flag state is an instance of geopolitical area
(instance flagState BinaryPredicate) Transportation.kif 1066-1066 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 1068-1068 flag state has name "flag of registry"
(names "flag state" flagState) Transportation.kif 1067-1067 flag state has name "flag state"
(termFormat ChineseLanguage flagState "国旗") domainEnglishFormat.kif 24091-24091
(termFormat ChineseTraditionalLanguage flagState "國旗") domainEnglishFormat.kif 24090-24090
(termFormat EnglishLanguage flagState "flag state") domainEnglishFormat.kif 24089-24089

antecedent
-------------------------


(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))
Transportation.kif 1086-1093


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners