Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  partlyLocated

 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 4048-4053
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 4045-4045 Le nombre 1 argument de partlyLocated est une instance de physique
No TPTP formula. May not be expressible in strict first order. Merge.kif 4046-4046 Le nombre 2 argument de partlyLocated est une instance de objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 4043-4043 partlyLocated est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 4042-4042 partlyLocated est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4044-4044 partlyLocated est une instance de relation total

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 agentOperatesInArea est une sous-relation de partlyLocated
No TPTP formula. May not be expressible in strict first order. Merge.kif 4073-4073 located est une sous-relation de partlyLocated
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 44580-44580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44579-44579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44578-44578
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 1727-1733
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Merge.kif 4061-4068
No TPTP formula. May not be expressible in strict first order. Merge.kif 4055-4059
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
No TPTP formula. May not be expressible in strict first order. Weather.kif 159-165
No TPTP formula. May not be expressible in strict first order. Geography.kif 507-512

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9119-9122 Objet est Outside � objet objet est partiellement localis� � objet
No TPTP formula. May not be expressible in strict first order. Transportation.kif 656-663 totalLengthOfWaterways secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order. Geography.kif 3496-3501
No TPTP formula. May not be expressible in strict first order. Geography.kif 507-512
No TPTP formula. May not be expressible in strict first order. Merge.kif 987-989
No TPTP formula. May not be expressible in strict first order. Merge.kif 4092-4094
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 70-78
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 92-99
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1250-1257
No TPTP formula. May not be expressible in strict first order. Geography.kif 1719-1725

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4640-4640 ArcticOcean est partiellement localis� � EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4641-4641 ArcticOcean est partiellement localis� � WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4578-4578 NorthPacificOcean est partiellement localis� � EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4579-4579 NorthPacificOcean est partiellement localis� � WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4592-4592 NortheasternPacificOcean est partiellement localis� � EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4591-4591 NortheasternPacificOcean est partiellement localis� � NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4604-4604 NorthwesternPacificOcean est partiellement localis� � NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4605-4605 NorthwesternPacificOcean est partiellement localis� � WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4560-4560 SouthAtlanticOcean est partiellement localis� � EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4559-4559 SouthAtlanticOcean est partiellement localis� � WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4618-4618 SouthPacificOcean est partiellement localis� � EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4619-4619 SouthPacificOcean est partiellement localis� � WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4656-4656 SouthernOcean est partiellement localis� � EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4657-4657 SouthernOcean est partiellement localis� � WesternHemisphere


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