TreeView Knowledge Base Browser - flagState

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

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1082-1085
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1080-1080	The number 1 argument of flag state is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1081-1081	The number 2 argument of flag state is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1077-1077	flag state is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1049-1049
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1048-1048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1047-1047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1079-1079	flag state has name "flag of registry"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1078-1078	flag state has name "flag state"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24164-24164
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24163-24163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24162-24162

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 1097-1104

If an object is an instance of ship registration and an agent is an instance of ship and the agent possesses the object and a geopolitical area is an instance of geopolitical area and the geopolitical area is a flag state of the agent,
then the ship register of the geopolitical area subsumes the content of the object

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