wife - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - wife

wife

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3716-3716
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16606-16607
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16604-16604	域妻子, 1 and 女人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16605-16605	域妻子, 2 and 人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16601-16601	例妻子 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16603-16603	例妻子 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16602-16602	例妻子 and IrreflexiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4990-4990
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4989-4989
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4988-4988
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16596-16596	逆丈夫 and 妻子
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63081-63081
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63080-63080
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63079-63079

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20586-20589	attribute 女人 and 家庭主婦人女人是人的 wife
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 606-612	Organism 是人的 father's brother's wife 人女人父親 Organism and 人人是女人的 brother 女人是人的 wife
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 285-299	例 TimeInterval and 穆哈爾薩達克 AutonomousAgent Entity, TimeInterval and TimeInterval agent TimeInterval and AutonomousAgent 起源 TimeInterval and AutonomousAgent 目的地 TimeInterval and Entity 持有期間 TimeInterval and Entity 是 AutonomousAgent 的 wife 持有期間 TimeInterval and Entity 是 AutonomousAgent 的 wife 飾面 TimeInterval and TimeInterval 之前 TimeInterval and TimeInterval 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 305-319	例 TimeInterval and 穆卡達姆薩達克 AutonomousAgent Entity, TimeInterval and TimeInterval agent TimeInterval and AutonomousAgent 起源 TimeInterval and AutonomousAgent 目的地 TimeInterval and Entity 持有期間 TimeInterval and Entity 是 AutonomousAgent 的 wife 持有期間 TimeInterval and Entity 是 AutonomousAgent 的 wife 飾面 TimeInterval and TimeInterval 之前 TimeInterval and TimeInterval 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 618-624	Organism 的 mother's brother's wife 是人人女人母親 Organism and 人人是女人的 brother 女人是人的 wife

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