TreeView Knowledge Base Browser - altitude

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - altitude

altitude

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2658-2660
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7728-7734
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1376-1379
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7724-7724	The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7725-7725	The number 2 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7726-7726	The number 3 argument of altitude is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7723-7723	altitude is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7721-7721	altitude is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7722-7722	altitude is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 609-609
No TPTP formula. May not be expressible in strict first order.	english_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.	french_format.kif 369-369
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 23-23
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2103-2103
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 797-797
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 67-67
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 391-391
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 410-410
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 57-57
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 610-610
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7002-7002
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7001-7001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7000-7000
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 63-63

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	If the altitude of a self connected object is a physical, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and the physical is a length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7736-7738	If the altitude of an object is another object, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7717-7719	If the altitude of a physical is another physical, then the distance between the physical and the other physical is a length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2781-2786	An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object is the self connected object and the self connected object is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of absolute altimeter, then there exists the physical2 such that the altitude of the physical is the physical2 and the physical2 is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1477-1484	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the altitude of the physical is sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4772-4777	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object is sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4770	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object is sea level
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1416-1436	If The waveHeight of a water wave a length measure., then there exist an object, another object,, , a third object and an unit of measure such that the object is an instance of body of water and the water wave is located at the object and the other object is a part of the object and the third object is a part of the object and the distance between the other object and the third object is the length measure and there don't exist a fourth object and the fourth objectH such that the fourth object is a part of the object and the altitude of the fourth object is the other object and the fourth objectH is greater than 0.0 and there don't exist a fifth object and the fifth objectH such that the fifth object is a part of the object and the altitude of the third object is the fifth object and the fifth objectH is greater than 0.0

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