orientation
|
|
Sigma KEE - orientation
appearance as argument number 1
|
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3786-3788 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16915-16919 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16912-16912 |
域 方位, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16913-16913 |
域 方位, 2 and Object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16914-16914 |
域 方位, 3 and PositionalAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16910-16910 |
例 方位 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16911-16911 |
例 方位 and TernaryPredicate |
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 586-586 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 590-590 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 351-351 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2098-2098 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 303-303 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 359-359 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 767-767 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 242-242 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 373-373 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 389-389 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 390-390 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 587-587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42582-42582 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42581-42581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42580-42580 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 391-391 |
|
antecedent
|
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9119-9122 |
方位 Object, Object and 外 部分位於 Object and Object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17103-17107 |
方位 Object, Object and 鄰 方位 Object, Object and 近 連接的 Object and Object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17091-17095 |
方位 Object, Object and 下面 方位 Object, Object and 上 方位 Object, Object and 以上 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17028-17030 |
方位 Object, Object and 東 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17045-17047 |
方位 Object, Object and 橫 方位 Object, Object and 橫 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17018-17020 |
方位 Object, Object and 北 方位 Object, Object and 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3653-3657 |
方位 Object, Object and 東北 方位 Object, Object and 北 方位 Object, Object and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3688-3692 |
方位 Object, Object and 西北 方位 Object, Object and 北 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17124-17126 |
方位 Object, Object and 右 方位 Object, Object and 左 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3664-3668 |
方位 Object, Object and 東南 方位 Object, Object and 南 方位 Object, Object and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3676-3680 |
方位 Object, Object and 西南 方位 Object, Object and 南 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17036-17038 |
方位 Object, Object and 垂直 方位 Object, Object and 垂直 |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1838-1860 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1862-1884 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1799-1807 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1814-1821 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 44-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6126-6131 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17004-17009 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2537-2550 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2566-2580 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17065-17069 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17054-17058 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6152-6161 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11352-11357 |
|
| Display limited to 25 items. Show next 25 |
| Display limited to 25 items. Show next 25 |
consequent
|
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3731-3733 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3755-3757 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3739-3741 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3759-3761 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3743-3745 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3763-3765 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3747-3749 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3751-3753 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3735-3737 |
Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17103-17107 |
方位 Object, Object and 鄰 方位 Object, Object and 近 連接的 Object and Object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17091-17095 |
方位 Object, Object and 下面 方位 Object, Object and 上 方位 Object, Object and 以上 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17028-17030 |
方位 Object, Object and 東 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17045-17047 |
方位 Object, Object and 橫 方位 Object, Object and 橫 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17018-17020 |
方位 Object, Object and 北 方位 Object, Object and 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3653-3657 |
方位 Object, Object and 東北 方位 Object, Object and 北 方位 Object, Object and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3688-3692 |
方位 Object, Object and 西北 方位 Object, Object and 北 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17124-17126 |
方位 Object, Object and 右 方位 Object, Object and 左 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3664-3668 |
方位 Object, Object and 東南 方位 Object, Object and 南 方位 Object, Object and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3676-3680 |
方位 Object, Object and 西南 方位 Object, Object and 南 方位 Object, Object and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17036-17038 |
方位 Object, Object and 垂直 方位 Object, Object and 垂直 |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 939-944 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7714-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2693-2704 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2665-2676 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4078-4095 |
|
| Display limited to 25 items. Show next 25 |
| Display limited to 25 items. Show next 25 |
appearance as argument number 0
|
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 282-282 |
方位 非洲, 北美 and 東南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 280-280 |
方位 非洲, 南美洲 and 東北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 281-281 |
方位 亞洲, 大洋洲 and 西北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 290-290 |
方位 加勒比地區, 北美 and 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 289-289 |
方位 加勒比地區, 南美洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 275-275 |
方位 歐洲, 非洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 276-276 |
方位 歐洲, 亞洲 and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 277-277 |
方位 歐洲, 北美 and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 283-283 |
方位 歐洲, 南美洲 and 東北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6966-6966 |
方位 愛爾蘭, Wales and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6965-6965 |
方位 人島, 北愛爾蘭 and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 288-288 |
方位 中美洲, 北美 and 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 287-287 |
方位 中美洲, 南美洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 286-286 |
方位 中東地區, 非洲 and 東北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 285-285 |
方位 中東地區, 亞洲 and 西南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 279-279 |
方位 北美, 亞洲 and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 278-278 |
方位 北美, 南美洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6954-6954 |
方位 北愛爾蘭, England and 西北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6953-6953 |
方位 北愛爾蘭, 蘇格蘭 and 西南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6963-6963 |
方位 北愛爾蘭, Wales and 西北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 284-284 |
方位 大洋洲, 北美 and 西南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6951-6951 |
方位 蘇格蘭, England and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6964-6964 |
方位 蘇格蘭, Wales and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6961-6961 |
方位 Wales, England and 西方 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|