TreeView Knowledge Base Browser - MerchantMarineFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

MerchantMarineFn

Sigma KEE - MerchantMarineFn

MerchantMarineFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 968-970
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 965-965	O argumento numero 1 de MerchantMarineFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 964-964	MerchantMarineFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 966-966	O contra-dominio de MerchantMarineFn e' uma instancia de MerchantMarine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1703-1703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1702-1702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1701-1701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37163-37163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37162-37162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37161-37161

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1064-1068	fOCShipsByOrigin MerchantMarine, Area Geopolitica and Numero Inteiro nao-negativo MerchantMarine e' igual a MerchantMarineFn Area Geopolitica Area Geopolitica e' igual a Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	Area Geopolitica e' uma instancia de Area Geopolitica MerchantMarineFn Area Geopolitica e' uma instancia de MerchantMarine Area Geopolitica possui MerchantMarineFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 972-976	Area Geopolitica e' uma instancia de Area Geopolitica Fisico e' membro de MerchantMarineFn Area Geopolitica Fisico e' uma instancia de MerchantMarineShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1157-1166	AutonomousAgent e' uma instancia de Ship Area Geopolitica e' uma instancia de Area Geopolitica AutonomousAgent e' membro de MerchantMarineFn Area Geopolitica Objeto Objeto e' uma instancia de ShipRegistration AutonomousAgent possui Objeto ShipRegisterFn Area Geopolitica subsume o conteudo de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1113-1119	MerchantMarine e' uma instancia de MerchantMarineFn Area Geopolitica ShipRegister ShipRegister e' uma instancia de ShipRegister Area Geopolitica possui ShipRegister marineInventory MerchantMarine and ShipRegister

consequent

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

Transportation.kif 978-982

Area Geopolitica e' uma instancia de Area Geopolitica MerchantMarineFn Area Geopolitica e' uma instancia de MerchantMarine
Area Geopolitica possui MerchantMarineFn Area Geopolitica

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