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 3571-3585
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 3570-3570	命题是抽象体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28812-28812	AmericansWithDisabilitiesAct 是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3156-3156	AmericansWithDisabilitiesAct_US 是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2367-2367	反恐怖主义和有效的死刑法是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2365-2365	移民和国籍法- section219-US 是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2362-2362	移民和国籍行为是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15328-15328	协议是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16987-16987	争论是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3900-3900	银行对帐单是命题的 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 24414-24414	分类方案是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 611-611	宪法是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1655-1655	经济指标是命题的 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 16944-16944	研究领域是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5647-5647	图是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5844-5844	图元素是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2736-2736	HotelPackage 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15157-15157	LyricalContent 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1552-1552	MealPlan 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 68-68	模型是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1579-1579	多极假设是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15104-15104	音乐是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29086-29086	Policy 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 184-184	PricingScheme 是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16952-16952	程序是命题的 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 3170-3170	文献的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4407-4407	accountInformation 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 661-661	协议采用日期的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15438-15438	agreementClause 的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 720-720	协议有效期间的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 692-692	协议修订日期的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 694-694	协议修订日期的 3 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 791-791	capacityByArrangement 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17071-17071	结论的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28829-28829	conforms 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17079-17079	一贯的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17080-17080	一贯的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1368-1368	包含信息的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3228-3228	日期开放供签署的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8298-8298	投保的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1456-1456	originalExpressedInLanguage 的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17047-17047	前提的 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 4626-4626	体现的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2982-2982	reservedPackage 的 2 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4665-4665	子命题的 1 数量是命题的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4666-4666	子命题的 2 数量是命题的 instance

appearance as argument number 5

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

Merge.kif 1680-1680

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31866-31876	如果有认知的主事 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 3183-3190	如果命题是命题的 instance 和内容承载物理是有内用物体的 instance 和那个内容承载物理 contains 那个命题的资料和过程是沟通的 instance 和那个内容承载物理是那个过程的 patient，然后那个过程表达那个命题
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3176-3181	如果命题是命题的 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 17148-17154	如果实体有属性的 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 617-625	如果命题是宪法的 instance，然后有存在公式和另一个命题这样那个公式是公式的 instance 和那个公式 contains 那个另外命题的资料和那个另外命题是命题的 instance 和那个另外命题是那个命题的 subProposition 和那个公式的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 627-635	如果命题是宪法的 instance，然后有存在公式和另一个命题这样那个公式是公式的 instance 和那个公式 contains 那个另外命题的资料和那个另外命题是命题的 instance 和那个另外命题是那个命题的 subProposition 和那个公式的声明 has 允许的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15600-15605	如果内容承载物理是句子的 instance，然后有存在命题这样那个命题是命题的 instance 和那个内容承载物理 contains 那个命题的资料
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2204-2213	如果物理是 DataWarehouse 的 instance，然后那个物理的目的是有存在实体这样那个实体是命题的 instance 和对所有另一个实体那个另外实体提到那个实体和那个另外实体是那个物理的 component
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2072-2082	如果物理是 PartInspection 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是自身连接物体的 instance 和那个实体是那个物理的 patient 和那个另外实体是命题的 instance 和那个另外实体提到那个实体和那个实体 conforms 對那个另外实体的声明 has 必要性的语气

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: