| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1714-1715 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1723-1725 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 318-319 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1720-1720 | 域 attribute, 1 and Object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | 域 attribute, 2 and Attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1715-1715 | 例 attribute and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | 例 attribute and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1716-1716 | 例 attribute and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1717-1717 | 例 attribute and TotalValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | 子關係 attribute and 屬性 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | 不相交的關係 方式 and attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 56-56 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1878-1878 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 8-8 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 65-65 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 75-75 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 55-55 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 63-63 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | 子關係 債券評級 and attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19358-19358 | 子關係 color and attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2501-2501 | 子關係 信用評級 and attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | 子關係 發展形式 and attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1880-1880 | 子關係 設備狀態 and attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 86-86 | 子關係 經濟類型 and attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 130-130 | 子關係 政府類型 and attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1882-1882 | 子關係 hasGUEState and attribute |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 163-163 | 子關係 具有分子結構屬性 and attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2109-2109 | 子關係 主持人身份 and attribute |
| 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 30178-30188 | 例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15000-15004 | attribute AutonomousAgent and 識字屬性 有技巧 Reading and AutonomousAgent 有技巧 Writing and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | People.kif 676-678 | attribute Object and 信仰團體 的 member 會員 Object and 信仰團體 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 702-704 | attribute Object and 不可知 會員 Object and 不可知論 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1347-1349 | attribute Object and ahmadiyya穆斯林 會員 Object and ahmadiyya教派 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1225-1227 | attribute Object and 英國國教 會員 Object and 英國國教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1233-1235 | attribute Object and 英國國教 會員 Object and 英格蘭教堂 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 720-722 | attribute Object and 無神論者 會員 Object and 無神論 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 757-759 | attribute Object and 巴哈 會員 Object and 巴哈主義 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 769-771 | attribute Object and 佛教徒 會員 Object and 佛教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1306-1308 | attribute Object and 儒 會員 Object and 儒 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1361-1363 | attribute Object and 德魯茲穆斯林 會員 Object and 德魯茲教派 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1247-1249 | attribute Object and 東正教基督教 會員 Object and 東正教基督教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1318-1320 | attribute Object and 印度教 會員 Object and 印度教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1411-1413 | attribute Object and 耆那教 會員 Object and 耆那教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1330-1332 | attribute Object and 穆斯林 會員 Object and 伊斯蘭教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1457-1459 | attribute Object and neopaganismist 會員 Object and neopaganism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1261-1263 | attribute Object and 新教 會員 Object and 新教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1428-1430 | attribute Object and 宗教的猶太人 會員 Object and 猶太教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1283-1285 | attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教會 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1275-1277 | attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1377-1379 | attribute Object and 什葉派穆斯林 會員 Object and 什葉派 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1472-1474 | attribute Object and 神道教 會員 Object and 神道 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1487-1489 | attribute Object and 錫克教 會員 Object and 錫克教 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1396-1398 | attribute Object and 遜尼派穆斯林 會員 Object and 遜尼派 |
| 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 357-390 | 例 年 and 年 年EAR 等於 GeopoliticalArea 和 年 的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1400-1404 | attribute Object and 女王 attribute Object and QueenRegnant attribute Object and QueenConsort |
| No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | 等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女 棲息 SymbolicString and GeopoliticalArea 等於 部 Integer and Integer and RealNumber |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1783-1787 | hearingAcuity Human, 測量 -10 and Decibel and 測量 15 and Decibel attribute Human and NormalHearingSensitivity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | hearingAcuity Human, 測量 16 and Decibel and 測量 25 and Decibel attribute Human and BorderlineHearingSensitivity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | hearingAcuity Human, 測量 26 and Decibel and 測量 40 and Decibel attribute Human and MildHearingLoss |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | hearingAcuity Human, 測量 41 and Decibel and 測量 55 and Decibel attribute Human and ModerateHearingLoss |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | hearingAcuity Human, 測量 56 and Decibel and 測量 70 and Decibel attribute Human and ModeratelySevereHearingLoss |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | hearingAcuity Human, 測量 71 and Decibel and 測量 90 and Decibel attribute Human and SevereHearingLoss |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | hearingAcuity Human, 測量 91 and Decibel and 測量 200 and Decibel attribute Human and ProfoundHearingLoss |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17254-17262 | 持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20200-20204 | 例 Object and 公牛 例 Object and 牛 attribute Object and 女 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20218-20222 | 例 Object and 公牛 例 Object and 牛 attribute Object and 男 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20209-20213 | 例 Object and 小牛 例 Object and 牛 attribute Object and 沒有完全形成 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30094-30098 | 例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20232-20236 | 例 Object and 母雞 例 Object and 雞 attribute Object and 女 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8979-8983 | 例 Object and 冰 例 Object and Water attribute Object and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20186-20190 | 例 Object and 羔羊 例 Object and 羊 attribute Object and 沒有完全形成 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20241-20245 | 例 Object and 公雞 例 Object and 雞 attribute Object and 男 |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2768-2770 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16852-16861 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20760-20767 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18837-18843 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
| 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. | People.kif 456-469 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1241-1248 | 包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS 例 ?SAMPLE and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | 等於 GeopoliticalArea 的 available 軍事服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 等於 GeopoliticalArea 和 年 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 等於 entity and 減法 entity and 1 持有期間 年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4590-4593 | CognitiveAgent attribute CognitiveAgent and NewReporter 採用 ProPublica and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1902-1903 | Meal Region attribute Meal and 對於 Meal 合適的 meal 在 Region |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | 增加可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒傳遞 例 ?PROCESS and ?PROCESSTYPE 體驗者 ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20401-20401 | attribute 乾草 and 飼料 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | attribute 南部海洋 and 極地氣候區 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | attribute Tourniquet and RelationalAttribute |
|
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