Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proposition
Proposition(命题)

VerbNet: reflexive_appearance-48.1.2|suggest, indicate-78|imply, reflexive_appearance-48.1.2|suggest, reflexive_appearance-48.1.2|suggest,


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2031-2038
No TPTP formula. May not be expressible in strict first order. Merge.kif 3432-3446
No TPTP formula. May not be expressible in strict first order. Merge.kif 3431-3431 命题抽象体subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25125-25125 AmericansWithDisabilitiesAct命题instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2347-2347 反恐怖主义和有效的死刑法命题instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2345-2345 移民和国籍法- section219-US命题instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2342-2342 移民和国籍行为命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15701-15701 前提函数range命题 的实例
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11591-11591 协议命题subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15633-15633 争论命题subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3724-3724 银行对帐单命题subclass
No TPTP formula. May not be expressible in strict first order. Catalog.kif 31-31 Catalog命题subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20685-20685 分类方案命题subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 634-634 宪法命题subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1581-1581 经济指标命题subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 149-149 方程命题subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15590-15590 研究领域命题subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5330-5330 命题subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5501-5501 图元素命题subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2671-2671 HotelPackage命题subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11416-11416 LyricalContent命题subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1489-1489 MealPlan命题subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11363-11363 音乐命题subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25464-25464 Policy命题subclass
No TPTP formula. May not be expressible in strict first order. Catalog.kif 179-179 PricingScheme命题subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15598-15598 程序命题subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 849-849 区域法命题subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1239-1239 科学法命题subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2871-2871 文献 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4332-4332 accountInformation 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Government.kif 685-685 协议采用日期 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11701-11701 agreementClause 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Government.kif 745-745 协议有效期间 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Government.kif 716-716 协议修订日期 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Government.kif 718-718 协议修订日期 的 3 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Hotel.kif 760-760 capacityByArrangement 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15717-15717 结论 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25142-25142 conforms 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15725-15725 一贯 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15726-15726 一贯 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1252-1252 包含信息 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2929-2929 日期开放供签署 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6796-6796 投保 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1446-1446 originalExpressedInLanguage 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15693-15693 前提 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Catalog.kif 165-165 propositionOwner 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4412-4412 体现 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2912-2912 reservedPackage 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4447-4447 子命题 的 1 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4448-4448 子命题 的 2 数量 是 命题instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28170-28180
No TPTP formula. May not be expressible in strict first order. Catalog.kif 167-173
No TPTP formula. May not be expressible in strict first order. Geography.kif 2877-2882
No TPTP formula. May not be expressible in strict first order. Geography.kif 2884-2891
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 684-690
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-75

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15789-15795
No TPTP formula. May not be expressible in strict first order. Law.kif 223-231
No TPTP formula. May not be expressible in strict first order. Government.kif 640-648
No TPTP formula. May not be expressible in strict first order. Government.kif 650-658
No TPTP formula. May not be expressible in strict first order. Merge.kif 14293-14298
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2408-2417


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