| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1683-1683 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1558-1559 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | 施事体 是 客体 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3714-3714 | 家具 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6711-6711 | 街道地址 的 range 是 施事体 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16173-16173 | 商业代理人 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14054-14054 | 地缘政治区域 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16224-16224 | 群组 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1306-1306 | IT代理商 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14355-14355 | 生物 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16610-16610 | 机构 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1566-1566 | 有感知的主事 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 848-848 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64496-64496 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 898-898 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2411-2411 | 中止 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1685-1685 | 选举 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1321-1321 | 行政部门 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3697-3697 | 财政年度 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3723-3723 | 财政年度开始 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4274-4274 | 属于财产函数 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 981-981 | SellersItemsFn 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1016-1016 | SellersOtherItemsFn 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7792-7792 | 财富函数 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1660-1660 | 成就 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 596-596 | activityCapability 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2434-2434 | 主事 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3423-3423 | agentName 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2235-2235 | 代理人在区域内经营 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23208-23208 | 别号 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 150-150 | appointedPosition 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22928-22928 | 所负责的地区 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23479-23479 | 逮捕 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1928-1928 | 问价格 的 3 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2424-2424 | 在组织中关联 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2435-2435 | 与地位相关联 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2126-2126 | attitudeForFormula 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2119-2119 | attitudeForObject 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15456-15456 | 作者 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22913-22913 | 得益 的 2 数量 是 施事体 的 instance |
| 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. | Government.kif 1774-1779 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30242-30253 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1700-1704 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1767-1772 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 992-1008 |
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 772-795 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1312-1324 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 354-365 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11656-11666 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1033-1060 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4357-4374 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11673-11685 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 381-388 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2501-2508 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 313-325 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1447-1453 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2830-2844 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1478-1485 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3738-3742 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1496-1518 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2956-2983 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1570-1581 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2999-3026 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3851-3862 | |
| 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. | Mid-level-ontology.kif 30223-30236 | Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 632-640 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3528-3532 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3576-3580 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 343-352 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23458-23462 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15887-15900 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4357-4374 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16228-16232 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3376-3408 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3475-3507 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 895-901 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16631-16635 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2426-2435 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1841-1858 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1727-1746 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1759-1778 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1791-1810 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1822-1839 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3623-3627 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1026-1030 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 956-980 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 736-748 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 766-773 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4345-4355 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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