DiseaseOrSyndrome - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4029-4031
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18212-18215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18211-18211	疾病或综合症是生物属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 138-138	Anemia 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3395-3395	Asthma 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11035-11035	Bedridden 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2468-2468	Beriberi 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6122-6122	BoneFracture 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5175-5175	BrainDead 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 412-412	Bruise 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6292-6292	癌症是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5946-5946	CatastrophicBloodLoss 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1479-1479	ChronicFatigueSyndrome 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5956-5956	ChronicObstructivePulmonaryDisease 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5204-5204	Coma 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1383-1383	Diabetes 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5951-5951	腹泻是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16406-16406	Dizzy 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4361-4361	Eczema 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6156-6156	发热是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1105-1105	胃肠炎是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6171-6171	甲状腺肿是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5718-5718	HeartDisease 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10463-10463	HighBloodPressure 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 475-475	HIV爱滋病是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4930-4930	Hyperferritinemia 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5320-5320	Hypersalivation 是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 677-677	Hyperthermia 是疾病或综合症的 instance

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.	WMD.kif 762-762	生化药物综合症的 2 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1933-1933	diseaseCandidate 的 2 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1530-1530	疾病孵化的 1 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 932-932	疾病治疗的 1 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 885-885	疾病死亡率的 1 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 870-870	疾病症状的 1 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 871-871	疾病症状的 2 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5818-5818	diseaseTreatment 的 1 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9641-9641	medicine 的 2 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10409-10409	pathologicSymptom 的 1 数量是疾病或综合症的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1540-1540	副作用的 2 数量是疾病或综合症的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	如果 connectedBodyPartTypes 有点身体部位, 另一个有点身体部位 and 有点生物和有点生物C 是那个有点生物的 instance 和疾病或综合症不是另一个客体的 attribute，然后有存在第三客体和第四客体这样那个第三客体是有点身体部位的 instance 和那个第四客体是另一个有点身体部位的 instance 和那个第三客体不 equal 那个第四客体和那个第三客体是那个有点生物C 的 part 和那个第四客体是那个有点生物C 的 part 和那个第三客体和那个第四客体是 connected
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	如果施事体是动物的 instance 和属性是疾病或综合症的 instance 和那个属性不是那个施事体的 attribute，然后有存在转移和客体这样那个转移是生物过程的 instance 和那个转移是移除的 instance 和那个施事体是那个转移的源头和那个客体是污水的 instance 和那个施事体是那个转移的 agent 和 objectTransferred 那个转移 and 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12709-12722	如果客体是灵长类动物的 instance 和属性是疾病或综合症的 instance 和那个属性不是那个客体的 attribute，然后有存在另一个客体和第三客体这样那个另外客体是足的 instance 和那个第三客体是足的 instance 和那个另外客体不 equal 那个第三客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12682-12695	如果客体是灵长类动物的 instance 和属性是疾病或综合症的 instance 和那个属性不是那个客体的 attribute，然后有存在另一个客体和第三客体这样那个另外客体是腿的 instance 和那个第三客体是腿的 instance 和那个另外客体不 equal 那个第三客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11198-11211	如果客体是灵长类动物的 instance 和属性是疾病或综合症的 instance 和那个属性不是那个客体的 attribute，然后有存在另一个客体和第三客体这样那个另外客体是肺的 instance 和那个第三客体是肺的 instance 和那个另外客体不 equal 那个第三客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	如果有点身体部位是 CervicalVertebraBone 的 instance 和有点身体部位是客体的 part 和那个客体是人类的 instance 和疾病或综合症不是那个客体的 attribute，然后有存在另一个有点身体部位这样另一个有点身体部位是 CervicalVertebraBone 的 instance 和那个另外有点身体部位不 equal 那个有点身体部位和那个另外有点身体部位是那个客体的 part 和 connectedBodyPart 那个另外有点身体部位 and 那个有点身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	如果有点身体部位是 FalseRibBone 的 instance 和有点身体部位是客体的 part 和那个客体是人类的 instance 和疾病或综合症不是那个客体的 attribute，然后不存在另一个有点身体部位这样另一个有点身体部位是 Sternum 的 instance 和那个另外有点身体部位是那个客体的 part 和 connectedBodyPart 那个另外有点身体部位 and 那个有点身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	如果有点身体部位是 LumbarVertebraBone 的 instance 和有点身体部位是客体的 part 和那个客体是人类的 instance 和疾病或综合症不是那个客体的 attribute，然后有存在另一个有点身体部位这样另一个有点身体部位是 LumbarVertebraBone 的 instance 和那个另外有点身体部位不 equal 那个有点身体部位和那个另外有点身体部位是那个客体的 part 和 connectedBodyPart 那个另外有点身体部位 and 那个有点身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	如果有点身体部位是 ThoracicVertebraBone 的 instance 和有点身体部位是客体的 part 和那个客体是人类的 instance 和疾病或综合症不是那个客体的 attribute，然后有存在另一个有点身体部位这样另一个有点身体部位是 ThoracicVertebraBone 的 instance 和那个另外有点身体部位不 equal 那个有点身体部位和那个另外有点身体部位是那个客体的 part 和 connectedBodyPart 那个另外有点身体部位 and 那个有点身体部位
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	如果有点身体部位是 TrueRibBone 的 instance 和有点身体部位是客体的 part 和那个客体是人类的 instance 和疾病或综合症不是那个客体的 attribute，然后有存在另一个有点身体部位这样另一个有点身体部位是 Sternum 的 instance 和那个另外有点身体部位是那个客体的 part 和 connectedBodyPart 那个另外有点身体部位 and 那个有点身体部位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 809-822	如果客体是 VocalCords 的 instance 和属性是疾病或综合症的 instance 和那个属性不是那个客体的 attribute，然后有存在另一个客体和第三客体这样那个另外客体是 VocalFold 的 instance 和那个第三客体是 VocalFold 的 instance 和那个另外客体不 equal 那个第三客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5933-5944	如果 typicalBloodVolume 有点哺乳动物 and 实数测量单位和有点哺乳动物I 是那个有点哺乳动物的 instance 和疾病或综合症不是另一个实体的 attribute 和 bloodVolume 那个另外实体 and 那个实数2 那个测量单位在时间位置 holdsDuring，然后 approximateValue 那个实数2 and 那个实数

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.	Medicine.kif 4195-4210	如果过程是 Misdiagnosing 的 instance 和有认知的主事是那个过程的 agent 和那个过程提到实体和那个实体是人类的 instance，然后有存在那个有认知的主事IS 这样 containsFormula 那个过程 and 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是疾病或综合症的 instance 和那个有认知的主事 believes 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是那个实体的 attribute 是假
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 6252-6265	如果过程是从疾病中恢复过来的 instance 和施事体经历了那个过程，然后有存在物理这样那个物理是疾病或综合症的 instance 和那个物理是那个施事体的 attribute 在那个物理出现的 time 的开始 holdsDuring 和那个物理不是那个施事体的 attribute 在那个物理出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5932-5945	如果过程是生病了的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是疾病或综合症的 instance 和那个实体不是那个施事体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个实体是那个施事体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20459-20466	如果过程是 SickLeave 的 instance 和施事体是那个过程的 agent，然后有存在实体这样那个实体是疾病或综合症的 instance 和那个过程提到那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30284-30290	如果 Healthy 是客体的 attribute，然后不存在属性这样那个属性是疾病或综合症的 instance 和那个属性是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	如果物理是救护车的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是人类的 instance 和疾病或综合症是那个实体的 attribute 或有存在第三实体和第四实体这样那个第三实体是受伤的 instance 和那个第四实体经历了那个第三实体和那个第三实体%n在那个另外实体 before发生和那个另外实体是运输的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个另外实体的 patient

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: