| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2111-2112 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4078-4080 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 763-764 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4075-4075 | 位于 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4076-4076 | 位于 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4070-4070 | 位于 是 反对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4072-4072 | 位于 是 总值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4071-4071 | 位于 是 传递关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4073-4073 | 位于 是 有一部分位于 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 145-145 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 146-146 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 94-94 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 170-170 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1921-1921 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 46-46 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 128-128 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 176-176 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 208-208 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 113-113 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 93-93 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 339-339 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3868-3868 | 时间 和 位于 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4134-4134 | 恰好位于 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14046-14046 | 地理分区域 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7576-7576 | 组织总部 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17404-17404 | 在船上 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9974-9974 | 部分填入 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24758-24758 | postCity 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24701-24701 | postCountry 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24742-24742 | postDistrict 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24670-24670 | postNeighborhood 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24784-24784 | postPostcodeArea 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 146-146 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24790-24795 | PostalPlace 是 located 在 PostcodeArea 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 PostcodeArea 是 PostcodeArea 的 instance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24763-24768 | PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24676-24681 | PostalPlace 是 located 在 Neighborhood 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 Neighborhood 是 Neighborhood 的 instance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24747-24752 | PostalPlace 是 located 在 州或省 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 州或省 是 州或省 的 instance 若且唯若 那个 PostalPlace 是在 那个 州或省 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 703-711 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 772-778 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1907-1912 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 794-803 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25035-25044 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1879-1884 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 665-671 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 586-602 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2244-2252 | |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1004-1023 |
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 773-782 |
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 974-984 |
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 951-966 |
|
| 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. | People.kif 1528-1539 | 百分之 实数 在 信仰团体 的人相信 那个 信仰团体 若且唯若 有存在 群体， 另一个 群体,， ， 物理,， ， 那个 物理2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 物理 是 located 在 地理区域 和 那个 物理 是 那个 信仰团体 的 member 和 那个 物理 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 物理2 是 located 在 那个 地理区域 和 那个 物理2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1547-1558 | 实数 percent 的人在 地理区域 是 民族群组 若且唯若 有存在 群体， 另一个 群体,， ， 物理,， ， 那个 物理2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 物理 是 located 在 那个 地理区域 和 那个 物理 是 那个 民族群组 的 member 和 那个 物理 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 物理2 是 located 在 那个 地理区域 和 那个 物理2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1566-1577 | 百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体， 另一个 群体,， ， 有感知的主事,， ， 那个 有感知的主事2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 有感知的主事 是 located 在 那个 地理区域 和 那个 有感知的主事 是 那个 群体 的 member 和 那个 语言 是 那个 有感知的主事 的 speaks 语言 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 有感知的主事2 是 located 在 那个 地理区域 和 那个 有感知的主事2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 182-189 | 长度测量 是 地理区域 的轨道 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 712-719 | 长度测量 是 地理区域 的原油管线 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 210-217 | 长度测量 是 地理区域 的双轨规格 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 126-133 | 长度测量 是 地理区域 的电场轨道 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 568-575 | 长度测量 是 地理区域 的高速公路系统 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 154-161 | 长度测量 是 地理区域 的多轨铁路 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 237-244 | 长度测量 是 地理区域 的短规格铁路的 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 735-742 | 长度测量 是 地理区域 的 天然瓦斯管线的 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 542-549 | 长度测量 是 地理区域 的铺设铁路 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 758-765 | 长度测量 是 地理区域 的石油产品管线 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 265-272 | 长度测量 地理区域 的 标准规格管线 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 294-306 | 长度测量 是 地理区域 的未分类规格轨道 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 601-608 | 长度测量 是 地理区域 的未铺设高速公路 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23308-23310 | 客体 对于 另一个 客体 在时间 时间位置 located 若且唯若 那个 客体 是 located 在 那个 另外 客体 在 那个 时间位置 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1277-1287 | 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 有存在 符号串 和 实体 这样 那个 非负整数 是 那个 符号串 所描述的类别 的 cardinality |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1221-1228 | 地理区域 是 对于 非负整数 在地区 类 的 total 设施类别 若且唯若 那个 非负整数 是 符号串 所描述的类别 的 cardinality |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 484-491 | 长度测量 是 地理区域 的 total 高速公路系统长度 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 98-105 | 长度测量 是 地理区域 的 total 铁路系统长度 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 685-692 | 长度测量 是 在地区 地理区域 的 total 管线 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 599-604 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8120-8130 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | 有存在 ?X， ?CUT,， ， ?PAPER,， ， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn 生物 and 地理区域 equal 那个 生物I 所描述的类别 instance 的数量 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | JesusOfNazareth 是 located 在 巴勒斯坦 在 JesusOfNazareth 出现 的 time holdsDuring |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2563-2563 | AalandIslands 是 located 在 波罗的海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4695-4695 | 南极极地电流 是 located 在 南部海洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | 法国南部和南极的土地 是 located 在 南 和 印度洋 的 directional 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 586-586 | 法国南部和南极的土地 是 located 在 印度洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 231-231 | 圣海伦娜 是 located 在 南大西洋 |
|
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