Male - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Male

Male(男)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18259-18259	相反的屬性男 and 女
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4019-4019	相反的屬性男 and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18260-18261	相反的屬性男 and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18258-18258	例男 and SexAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 1356-1356	子屬性王 and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1385-1385	子屬性 PrinceConsort and 男
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35857-35857	子屬性 PrinceConsort and 男
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35856-35856	子屬性 PrinceConsort and 男
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35855-35855	子屬性 PrinceConsort and 男

appearance as argument number 3

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

Merge.kif 18239-18239

女是所有的 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 16613-16617	親 Organism and Organism attribute Organism and 男父親 Organism and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 347-352	持有期間 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 21842-21846	例 Object and 公牛例 Object and 牛 attribute Object and 男
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21865-21869	例 Object and 公雞例 Object and 雞 attribute Object and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1212-1218	次提案獨家男性選舉權 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 1220-1227	次提案獨家男性選舉權 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 16558-16560	父親 Organism and Organism attribute Organism and 男
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14756-14758	例 Object and 人 attribute Object and 男
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16582-16584	Organism 是 Organism 的 son attribute Organism and 男

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1203-1210	包含信息 ?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 930-939	等於 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 953-964	等於 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 991-1004	等於 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 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