TreeView Knowledge Base Browser - Male

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Male

Sigma KEE - Male

Male(男)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18125-18125	相反的屬性男 and 女
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4019-4019
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18126-18127
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18124-18124	例男 and SexAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 1394-1394	子屬性王 and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1423-1423	子屬性 PrinceConsort and 男
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35831-35831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35830-35830
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35829-35829

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 18105-18105

女是所有的 SexAttribute 的 attributes

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 151-163	例 Animal and ihram服裝穿 Animal and 可穿戴物品 attribute 可穿戴物品 and 男 Physical Physical and Physical 例 Physical and 披風例 Physical and 帶例 Physical and 檀香會員 Physical and Animal 會員 Physical and Animal 會員 Physical and Animal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克比較多 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16487-16491	親 Organism and Organism attribute Organism and 男父親 Organism and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 354-359	持有期間 TimePosition and 例 entity and 人類的孩子 attribute entity and 男持有期間 TimePosition and 例 entity and 男孩

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea 等於部 Integer and Integer and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20218-20222	例 Object and 公牛例 Object and 牛 attribute Object and 男
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20241-20245	例 Object and 公雞例 Object and 雞 attribute Object and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1250-1256	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1258-1265	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 例 Process and 選舉的 voting agent Process and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16432-16434	父親 Organism and Organism attribute Organism and 男
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14652-14654	例 Object and 人 attribute Object and 男
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16456-16458	Organism 是 Organism 的 son attribute Organism and 男

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING 例 ?ELECTION and ?AGENT 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER attribute ?VOTER and 男 and 獨家男性選舉權
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	等於 GeopoliticalArea 的 available 軍事服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	等於 GeopoliticalArea 和年每年的 reaching 軍事男性年齡 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀等於 entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea

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