Proposition - Sigma Knowledge base Browser

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	如果有认知的主事 buys 命题从另一个有认知的主事和那个命题是命题的 instance，然后有存在过程和另一个过程这样那个有认知的主事是那个过程的 agent 和那个另外过程表示那个命题的内容和那个过程是购买的 instance 和那个另外过程是那个过程的 patient 和那个另外有认知的主事是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 167-173	如果过程是创作的 instance 和命题是那个过程的 result 和那个命题是命题的 instance 和有认知的主事是那个过程的 agent，然后那个有认知的主事 authored 那个命题
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2877-2882	如果命题是命题的 instance 和那个命题的 document 是文本的 instance，然后有存在内容承载物理这样那个内容承载物理 contains 那个命题的资料
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2884-2891	如果命题是命题的 instance 和内容承载物理是有内用物体的 instance 和那个内容承载物理 contains 那个命题的资料和过程是沟通的 instance 和那个内容承载物理是那个过程的 patient，然后那个过程表达那个命题
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	如果过程是 ReconnaissanceOperation 的 instance 和施事体是那个过程的 agent 和实体是命题的 instance，然后那个过程的目的是那个施事体 knows 那个实体
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 278-293	如果对于有点实体协商的 price 在协议是货币测量和那个协议是有认知的主事的 party 协议和那个协议是另一个有认知的主事的 party 协议和有点实体是命题的 subclass，然后如果另一个实体是那个有点实体的 immediateInstance 和第三实体表示那个另外实体的内容和第四实体是出售的 instance 和那个第三实体是那个第四实体的 patient 和那个有认知的主事是那个第四实体的 agent 和那个第四实体在那个另外有认知的主事结束，然后那个货币测量是那个第四实体的 transaction 总额的声明 has 诺言的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-75	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是命题的 subclass，然后有存在另一个实体和第三实体这样那个第三实体表示那个有点实体的内容和那个另外实体是出售的 instance 和那个第三实体是那个另外实体的 patient 和那个施事体是那个另外实体的 agent 的声明 has 可能性的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15789-15795	如果实体有属性的 attribute 和那个属性是真值的 instance，然后那个实体是句子的 instance 或那个实体是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 223-231	如果 evidence 法律诉讼 and 物理，然后有存在争论这样那个物理ROP 是命题的 instance 和那个争论是争论的 instance 和那个争论提到那个法律诉讼和那个物理ROP 表达那个物理和那个物理ROP 是那个争论的 premise
No TPTP formula. May not be expressible in strict first order.	Government.kif 640-648	如果命题是宪法的 instance，然后有存在公式和另一个命题这样那个公式是公式的 instance 和那个公式 contains 那个另外命题的资料和那个另外命题是命题的 instance 和那个另外命题是那个命题的 subProposition 和那个公式的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 650-658	如果命题是宪法的 instance，然后有存在公式和另一个命题这样那个公式是公式的 instance 和那个公式 contains 那个另外命题的资料和那个另外命题是命题的 instance 和那个另外命题是那个命题的 subProposition 和那个公式的声明 has 允许的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14293-14298	如果内容承载物理是句子的 instance，然后有存在命题这样那个命题是命题的 instance 和那个内容承载物理 contains 那个命题的资料
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2408-2417	如果物理是 DataWarehouse 的 instance，然后那个物理的目的是有存在实体这样那个实体是命题的 instance 和对所有另一个实体那个另外实体提到那个实体和那个另外实体是那个物理的 component

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

KB Term:			Term intersection

English Word: