Man - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Man

Man(人)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3439-3439
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14650-14650
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 577-577
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3160-3160
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3158-3158
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3159-3159
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14649-14649	子類人 and Human

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1918-1918	例 JesusOfNazareth and 人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14645-14645	劃分 Human, 人 and 女人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 351-351	子類男孩 and 人
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35903-35903
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35902-35902
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35901-35901

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16503-16503	域哥哥, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23081-23081	域祖父, 2 and 人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16572-16572	域丈夫, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23104-23104	域外甥, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23148-23148	域繼父, 2 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23132-23132	域叔叔, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16583-16583	域妻子, 2 and 人

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 例 Process and 鼓聲 agent Process and AutonomousAgent 例 ProcessAY and Day 例 TimeInterval and 日出期間 TimeInterval and ProcessAY 早期何時 Process and TimeInterval 有目的 Process and entity TimeIntervalUHUR and entity 例 entity and 起來體驗者 entity and entity 例 TimeIntervalUHUR and 封齋飯 agent TimeIntervalUHUR and entity 早期何時 entity and 何時 TimeIntervalUHUR 期間何時 entity and ProcessAY 期間何時 TimeIntervalUHUR and ProcessAY
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 59-63	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 有技巧鼓聲 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23027-23031	親 Organism and Organism 例 Organism and 人 Organism 是 Organism 的 son
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23021-23025	親 Organism and Organism 例 Organism and 人父親 Organism and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14652-14654	例 Object and 人 attribute Object and 男

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 450-456	例 Physical and dishdashah 有目的 Physical and entity 例 entity and 人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 438-444	例 Physical and jallabiyyah 有目的 Physical and entity 例 entity and 人穿 entity and Physical

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