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

Formal Language: 



KB Term:  Term intersection
English Word: 

  flagState

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 1082-1085
(domain flagState 1 WaterVehicle) Transportation.kif 1080-1080 Le nombre 1 argument de flagState est une instance de WaterVehicle
(domain flagState 2 GeopoliticalArea) Transportation.kif 1081-1081 Le nombre 2 argument de flagState est une instance de secteur g�opolitique
(instance flagState BinaryPredicate) Transportation.kif 1077-1077 flagState est une instance de pr�dicat binaire

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 s'appele nom "flag of registry"
(names "flag state" flagState) Transportation.kif 1078-1078 flagState s'appele nom "flag state"
(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


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

Show without tree


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