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 有一部分位于 的 1 数量 是 物理 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4046-4046 有一部分位于 的 2 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4043-4043 有一部分位于 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4042-4042 有一部分位于 是 空间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4044-4044 有一部分位于 是 总值关系 的 instance

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 代理人在区域内经营 是 有一部分位于 的 subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4073-4073 位于 是 有一部分位于 的 subrelation
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 客体 在 另一个 客体 的 外 若且唯若 那个 客体 不 是 partlyLocated 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order. Transportation.kif 656-663 长度测量 是 地理区域 的 total 水路长路 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
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 北冰洋 是 partlyLocated 在 东半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4641-4641 北冰洋 是 partlyLocated 在 西半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4578-4578 北太平洋 是 partlyLocated 在 东半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4579-4579 北太平洋 是 partlyLocated 在 西半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4592-4592 NortheasternPacificOcean 是 partlyLocated 在 东半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4591-4591 NortheasternPacificOcean 是 partlyLocated 在 北半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4604-4604 NorthwesternPacificOcean 是 partlyLocated 在 北半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4605-4605 NorthwesternPacificOcean 是 partlyLocated 在 西半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4560-4560 南大西洋 是 partlyLocated 在 东半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4559-4559 南大西洋 是 partlyLocated 在 西半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4618-4618 南太平洋 是 partlyLocated 在 东半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4619-4619 南太平洋 是 partlyLocated 在 西半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4656-4656 南部海洋 是 partlyLocated 在 东半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 4657-4657 南部海洋 是 partlyLocated 在 西半球


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