subProposition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - subProposition

subProposition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2203-2205
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4634-4637
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 867-869
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4631-4631	域次提案, 1 and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4632-4632	域次提案, 2 and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4627-4627	例次提案 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4629-4629	例次提案 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4630-4630	例次提案 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4628-4628	例次提案 and TransitiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 187-187
No TPTP formula. May not be expressible in strict first order.	english_format.kif 188-188
No TPTP formula. May not be expressible in strict first order.	french_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 278-278
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1942-1942
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 238-238
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 315-315
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 470-470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4648-4648	子關係子計劃 and 次提案
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 188-188	子關係子計劃 and 次提案
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55815-55815	子關係子計劃 and 次提案
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55814-55814	子關係子計劃 and 次提案
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55813-55813	子關係子計劃 and 次提案
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 75-75	子關係子計劃 and 次提案

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 736-745	例 Proposition and GeopoliticalArea 的 constitution 例 GeopoliticalArea and Nation 等於 Government and 政府 GeopoliticalArea 例何時 Government and TimePosition TimePosition 是 Proposition 的 agreement 生效其間次提案 Proposition and Proposition 包含信息 Formula and Proposition 持有義務 Formula and Government
No TPTP formula. May not be expressible in strict first order.	Government.kif 837-841	例 Object and 區域法次提案 Proposition and Object attribute Object and 法
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22236-22266	例 Proposition and 爭論例 Process and Reasoning 例 Proposition and Archeology 次提案 Proposition and Proposition 實現 Process and Proposition Process entity, Physical, RealNumber, entity and entity 例 Process and 發現例 Physical and Object 患者 Process and Physical 參照 Process and Process 早期何時 Process and 何時 Process 年齡 Physical and 測量 RealNumber and 年持續時間比較多 RealNumber and 50 持有期間不久的過去何時 Process and 表面 entity and entity 例 entity and 水體方位 Physical, entity and 下面表面 entity and entity 例 entity and LandArea 方位 Physical, entity and 下面
No TPTP formula. May not be expressible in strict first order.	Government.kif 1138-1151	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election Process 例 Process and 選舉的 voting agent Process and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1173-1193	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 授予義務 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1229-1235	次提案獨家男性選舉權 and GeopoliticalArea 的 regional 法律 attribute Object and 女會員 Object and GeopoliticalArea 的 resident 例選舉 and 選舉能力選舉的 voting , agent and Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1212-1218	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1220-1227	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 例 Process and 選舉的 voting agent Process and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1082-1092	次提案普選法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4639-4646	次提案 Proposition and Proposition 內容承載物理內容承載物理包含信息內容承載物理 and Proposition 包含信息內容承載物理 and Proposition 包含內容實例內容承載物理 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Government.kif 1153-1171	次提案強制選舉法 and GeopoliticalArea 的 regional 法律授予義務 entity entity, entity and entity 公民 entity and GeopoliticalArea 測量 entity and 年持續時間是 GeopoliticalArea 的 suffrage 最小年紀年齡 entity and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and GeopoliticalArea 的 election entity 例 entity and entity 的 voting agent entity and entity , GeopoliticalArea 的 regional 法律 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1068-1080	次提案普選法 and Nation 的 regional 法律 Human 選舉, RealNumber and RealNumber 公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 701-716	Proposition agreement 對於 Proposition 的修改日期 TimePosition TimePosition 例 TimePosition and TimePosition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 991-1000	例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀 TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀 and TimeDurationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 919-928	例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 and TimeDurationRULE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16980-16986	例爭論 and 爭論等於 Formula and 房地爭論次提案 Proposition and Formula Proposition 是爭論的 premise
No TPTP formula. May not be expressible in strict first order.	Government.kif 879-883	例 GeopoliticalArea and GeopoliticalArea %2 是 1% 的 government 類別次提案選民公民身份要求 and GeopoliticalArea 的 regional 法律
No TPTP formula. May not be expressible in strict first order.	Government.kif 868-875	例 GeopoliticalArea and Nation %2 是 1% 的 government 類別 Proposition 例 Proposition and 選舉法次提案 Proposition and GeopoliticalArea 的 regional 法律
No TPTP formula. May not be expressible in strict first order.	Music.kif 920-922	等於 LyricalContent and 歌曲的 lyrics 次提案 LyricalContent and 歌曲
No TPTP formula. May not be expressible in strict first order.	Music.kif 908-910	等於音樂作品 and 歌曲的 music 次提案音樂作品 and 歌曲
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1929-1934	例 Proposition and 應用程式介面 Proposition 例 Proposition and ComputerProgram 次提案 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 617-625	例 Proposition and 憲法 Formula Proposition 例 Formula and Formula 包含信息 Formula and Proposition 例 Proposition and Proposition 次提案 Proposition and Proposition 模態屬性 Formula and 義務
No TPTP formula. May not be expressible in strict first order.	Government.kif 627-635	例 Proposition and 憲法 Formula Proposition 例 Formula and Formula 包含信息 Formula and Proposition 例 Proposition and Proposition 次提案 Proposition and Proposition 模態屬性 Formula and 允許
No TPTP formula. May not be expressible in strict first order.	Government.kif 897-902	例 GeopoliticalArea and Nation Proposition 例 Proposition and 選民年齡要求次提案 Proposition and GeopoliticalArea 的 regional 法律
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14730-14736	例 Proposition and LyricalContent 內容承載物理 Proposition 例內容承載物理 and Word 包含信息內容承載物理 and Proposition 次提案 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2824-2830	例 Entity and TravelReservation 模態屬性 entity 例 entity and FlightReservation 次提案 entity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15070-15075	屬性 Proposition and 合同 Formula 次提案 Formula and Proposition 模態屬性 Formula and 合法

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