partlyLocated - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - partlyLocated

partlyLocated

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2107-2110
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4035-4040
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 758-762
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4032-4032	The number 1 argument of partly located is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4033-4033	The number 2 argument of partly located is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4030-4030	partly located is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4029-4029	partly located is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4031-4031	partly located is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 165-165
No TPTP formula. May not be expressible in strict first order.	english_format.kif 166-166
No TPTP formula. May not be expressible in strict first order.	french_format.kif 102-102
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 214-214
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1931-1931
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 54-54
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 129-129
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 203-203
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 252-252
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 121-121
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 103-103
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 406-406
No TPTP formula. May not be expressible in strict first order.	Government.kif 2237-2237	agent operates in area is a subrelation of partly located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4060-4060	located is a subrelation of partly located
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 166-166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44595-44595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44594-44594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44593-44593
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 63-63

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1725-1731	If a geographic area is an instance of geographic area and a terrain attribute is an attribute of an object and the terrain attribute is an instance of terrain attribute and the object is partly located in the geographic area, then the terrain attribute is a terrain in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4048-4055	If an object is an instance of object and the object is partly located in another object, then there exists a third object such that the third object is a part of the object and the third object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4042-4046	If an object is an instance of object and the object is partly located in another object, then the object and the other object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 159-165	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 507-512	If a physical is partly located in a geographic area and the geographic area is an instance of geographic area and the geographic area is a geographic subregion of another geographic area, then the physical is partly located in the other geographic area

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9086-9089	An object is outside to another object if and only if the object is not partly located in the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 656-663	A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3422-3427	If an object and another object overlapsSpatially and the other object is an instance of region and the object is not equal to the other object, then the object is partly located in the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 507-512	If a physical is partly located in a geographic area and the geographic area is an instance of geographic area and the geographic area is a geographic subregion of another geographic area, then the physical is partly located in the other geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 987-989	If a self connected object contains an object, then the self connected object is partly located in the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4079-4081	If a process is partly located at an object, then the process is partly located in the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 70-78	If displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is not partly located in the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 92-99	If internally displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is partly located in the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1717-1723	If a terrain attribute is a terrain in area of a geographic area, then there exists an object such that the object is an instance of geographic area and the terrain attribute is an attribute of the object and the object is partly located in the geographic area

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4543-4543	Arctic ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4544-4544	Arctic ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4481-4481	North pacific ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4482-4482	North pacific ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4495-4495	Northeastern Pacific ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4494-4494	Northeastern Pacific ocean is partly located in northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4507-4507	Northwestern Pacific Ocean is partly located in northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4508-4508	Northwestern Pacific Ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4463-4463	South atlantic ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4462-4462	South atlantic ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4521-4521	South pacific ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4522-4522	South pacific ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4559-4559	Southern ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4560-4560	Southern ocean is partly located in western hemisphere

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

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