TreeView Knowledge Base Browser - linearExtent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - linearExtent

linearExtent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2637-2639
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7534-7539
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1352-1355
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7532-7532	O argumento numero 2 de linearExtent e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7531-7531	linearExtent e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7530-7530	linearExtent e' uma sub-relacao de measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3762-3762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3761-3761
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3760-3760
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7548-7548	height e' uma sub-relacao de linearExtent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7557-7557	length e' uma sub-relacao de linearExtent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7543-7543	width e' uma sub-relacao de linearExtent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65866-65866

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1141-1146	Fisico e' uma instancia de ExclusiveFishingZone linearExtent Fisico and Numero Real NauticalMile(s) Numero Real e' menor ou igual a 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1173-1178	Fisico e' uma instancia de ExtendedFishingZone linearExtent Fisico and Numero Real NauticalMile(s) Numero Real e' menor ou igual a 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1109-1114	Fisico e' uma instancia de MaritimeExclusiveEconomicZone linearExtent Fisico and Numero Real NauticalMile(s) Numero Real e' menor ou igual a 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1068-1073	Fisico e' uma instancia de MaritimeShelfArea linearExtent Fisico and Numero Real NauticalMile(s) Numero Real e' menor ou igual a 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1214-1219	Fisico e' uma instancia de TerritorialSea linearExtent Fisico and Numero Real NauticalMile(s) Numero Real e' menor ou igual a 12.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4188-4194	Fisico e' uma instancia de Butte Fisico e' uma instancia de Mesa linearExtent Fisico and Numero Real Unidade de Medida(s) linearExtent Fisico and Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real

consequent

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

Merge.kif 7563-7571

O comprimento de Fisico e' Numero Real Unidade de Medida(s)
Numero Real2 linearExtent Fisico and Numero Real2 Unidade de Medida(s) Numero Real2 e' maior que Numero Real

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