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 3556-3570
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 673-682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3555-3555	命题是抽象体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26913-26913	AmericansWithDisabilitiesAct 是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3155-3155	AmericansWithDisabilitiesAct-US 是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2406-2406	反恐怖主义和有效的死刑法是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2404-2404	移民和国籍法- section219-US 是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2401-2401	移民和国籍行为是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16880-16880	前提函数的 range 是命题的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13957-13957	协议是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16812-16812	争论是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3882-3882	银行对帐单是命题的 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 22773-22773	分类方案是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 647-647	宪法是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1639-1639	经济指标是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 150-150	方程是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16769-16769	研究领域是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5622-5622	图是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5819-5819	图元素是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2725-2725	HotelPackage 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13786-13786	LyricalContent 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1541-1541	MealPlan 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 69-69	模型是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1266-1266	多极假设是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13733-13733	音乐是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27185-27185	Policy 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 184-184	PricingScheme 是命题的 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 3012-3012	文献的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4412-4412	accountInformation 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 698-698	协议采用日期的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14067-14067	agreementClause 的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 758-758	协议有效期间的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 729-729	协议修订日期的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 731-731	协议修订日期的 3 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 787-787	capacityByArrangement 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16896-16896	结论的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26930-26930	conforms 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16904-16904	一贯的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16905-16905	一贯的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1358-1358	包含信息的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3070-3070	日期开放供签署的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7137-7137	投保的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1454-1454	originalExpressedInLanguage 的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16872-16872	前提的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 170-170	propositionOwner 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4598-4598	体现的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2971-2971	reservedPackage 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4637-4637	子命题的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4638-4638	子命题的 2 数量是命题的 instance

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 1670-1670

抽象体分拆成不相交的数量, 属性, 关系, 命题, 和串列

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29974-29984	如果有认知的主事 buys 命题从施事体和那个命题是命题的 instance，然后有存在过程和另一个过程这样那个有认知的主事是那个过程的 agent 和那个另外过程表示那个命题的内容和那个过程是购买的 instance 和那个另外过程是那个过程的 patient 和那个施事体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 172-178	如果过程是创作的 instance 和命题是那个过程的 result 和那个命题是命题的 instance 和有认知的主事是那个过程的 agent，然后那个有认知的主事 authored 那个命题
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3025-3032	如果命题是命题的 instance 和内容承载物理是有内用物体的 instance 和那个内容承载物理 contains 那个命题的资料和过程是沟通的 instance 和那个内容承载物理是那个过程的 patient，然后那个过程表达那个命题
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3018-3023	如果命题是命题的 instance 和另一个命题是那个命题的 document 的 instance，然后有存在内容承载物理这样那个内容承载物理 contains 那个另外命题的资料
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 64-76	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是命题的 subclass，然后有存在另一个实体，第三实体， and 和第四实体这样那个另外实体是那个有点实体的 instance 和那个第四实体表示那个另外实体的内容和那个第三实体是出售的 instance 和那个第四实体是那个第三实体的 patient 和那个施事体是那个第三实体的 agent 的声明 has 可能性的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16973-16979	如果实体有属性的 attribute 和那个属性是真值的 instance，然后那个实体是句子的 instance 或那个实体是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	如果 evidence 法律诉讼 and 物理，然后有存在争论和那个物理ROP 这样那个物理ROP 是命题的 instance 和那个争论是争论的 instance 和那个争论提到那个法律诉讼和那个物理ROP 表达那个物理和那个物理ROP 是那个争论的 premise
No TPTP formula. May not be expressible in strict first order.	Government.kif 653-661	如果命题是宪法的 instance，然后有存在公式和另一个命题这样那个公式是公式的 instance 和那个公式 contains 那个另外命题的资料和那个另外命题是命题的 instance 和那个另外命题是那个命题的 subProposition 和那个公式的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 663-671	如果命题是宪法的 instance，然后有存在公式和另一个命题这样那个公式是公式的 instance 和那个公式 contains 那个另外命题的资料和那个另外命题是命题的 instance 和那个另外命题是那个命题的 subProposition 和那个公式的声明 has 允许的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15447-15452	如果内容承载物理是句子的 instance，然后有存在命题这样那个命题是命题的 instance 和那个内容承载物理 contains 那个命题的资料
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2204-2213	如果物理是 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: