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 14754-14754
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 3159-3159
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3157-3157
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.	Merge.kif 14753-14753	子類人 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 14749-14749	劃分 Human, 人 and 女人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 344-344	子類男孩 and 人
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35929-35929	子類男孩 and 人
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35928-35928	子類男孩 and 人
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35927-35927	子類男孩 and 人

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16629-16629	域哥哥, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24730-24730	域祖父, 2 and 人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16698-16698	域丈夫, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24753-24753	域外甥, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24797-24797	域繼父, 2 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24781-24781	域叔叔, 1 and 人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16709-16709	域妻子, 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 24676-24680	親 Organism and Organism 例 Organism and 人 Organism 是 Organism 的 son
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24670-24674	親 Organism and Organism 例 Organism and 人父親 Organism and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14756-14758	例 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