TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10385-10385	病理过程和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2922-2924
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10387-10392
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1671-1674
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10384-10384	病理过程是生物过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13490-13490	SenseImpairmentFn 的所得值是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13510-13510	SenseInabilityFn 的所得值是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6219-6219	AllergicReaction 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6441-6441	痿是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2194-2194	AutoImmuneDisorder 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6454-6454	腹胀是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11747-11747	Choking 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9939-9939	Edema 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1893-1893	GERefluxDisease 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6418-6418	Hallucination 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19334-19334	头痛是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11350-11350	HeartAttack 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4324-4324	HeartPalpitation 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2047-2047	HeartPalpitations 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10426-10426	受伤是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16442-16442	Insomnia 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19329-19329	痛是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11410-11410	Pericarditis 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5738-5738	SkinRash 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11892-11892	Stroke 是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5928-5928	生病了是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1088-1088
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1387-1387
No TPTP formula. May not be expressible in strict first order.	french_format.kif 766-766

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.	Mid-level-ontology.kif 9932-9932	pathologyTreatment 的 1 数量是病理过程的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1558-1558	pathologicSideEffect 的 2 数量是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10410-10410	pathologicSymptom 的 2 数量是病理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1949-1949	pathologyCandidate 的 2 数量是病理过程的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10394-10402	如果过程是病理过程的 instance 和施事体经历了那个过程，然后有存在客体和属性这样那个客体是那个施事体的 part 和那个属性是疾病或综合症的 instance 和那个属性是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11247-11262	如果自身连接物体是 RibCage 的 instance 和那个自身连接物体是客体的 part 和那个客体是人类的 instance 和活的是那个客体的 attribute 和 ~{ 物理是病理过程的 instance } 或 ~{ 那个物理是 located 在那个客体 }，然后有存在那个客体T 和第三客体这样那个客体T 是心的 instance 和那个客体T 是肺的 instance 和那个自身连接物体 contains 那个第三客体和那个自身连接物体 contains 那个客体T

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	如果过程是 Epidemic 的 instance 和施事体是事件那个过程的 involved ，然后属性是疾病或综合症的 instance 和那个属性是那个施事体的 attribute 或有存在另一个过程这样那个另外过程是病理过程的 instance 和那个施事体经历了那个另外过程和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5830-5839	如果属性是传染病的 instance 和那个属性是施事体的 attribute，然后有存在过程和另一个施事体这样那个过程是病理过程的 instance 和那个另外施事体是那个过程的 agent 和那个另外施事体是微生物的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6004-6011	如果气肿是客体的 attribute，然后有存在另一个客体和过程这样那个另外客体是肺泡的 instance 和那个另外客体是那个客体的 part 和那个过程是病理过程的 instance 和那个过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6175-6182	如果甲状腺肿是客体的 attribute，然后有存在另一个客体和过程这样那个另外客体是甲状腺的 instance 和那个另外客体是那个客体的 part 和那个过程是病理过程的 instance 和那个过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14942-14947	如果实体是异常的解剖结构的 instance，然后有存在过程这样那个过程是病理过程的 instance 和那个实体是那个过程的 result

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: