Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  father

Sigma KEE - father
father

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3693-3694
No TPTP formula. May not be expressible in strict first order. Merge.kif 16450-16452
No TPTP formula. May not be expressible in strict first order. Merge.kif 16448-16448 O argumento numero 1 de father e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order. Merge.kif 16449-16449 O argumento numero 2 de father e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order. Merge.kif 16442-16442 father e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 16441-16441 father e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16440-16440 father e' uma instancia de Relacao com Valor Unico

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 527-527
No TPTP formula. May not be expressible in strict first order. english_format.kif 532-532
No TPTP formula. May not be expressible in strict first order. french_format.kif 311-311
No TPTP formula. May not be expressible in strict first order. relations-it.txt 109-109
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2079-2079
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 317-317
No TPTP formula. May not be expressible in strict first order. relations-de.txt 686-686
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 149-149
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 332-332
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 341-341
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 228-228
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 528-528
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23361-23361
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23360-23360
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 229-229

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16444-16446
No TPTP formula. May not be expressible in strict first order. Merge.kif 16454-16456

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23060-23075 cousin Humano and Humano Woman Man grandmother Humano and Woman grandfather Humano and Man grandmother Humano and Woman grandfather Humano and Man Organismo Organismo Organismo e' a mae de Humano Organismo e' o pai de Humano Organismo e' a mae de Humano Organismo e' o pai de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23151-23158 stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23168-23175 stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano
No TPTP formula. May not be expressible in strict first order. Merge.kif 10358-10365
No TPTP formula. May not be expressible in strict first order. Merge.kif 16509-16513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23020-23024
No TPTP formula. May not be expressible in strict first order. Merge.kif 16408-16416
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 666-672
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 654-660
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 606-612
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 714-720
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 630-636
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 702-708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23082-23087
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 760-766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20163-20170
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 584-589
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 562-567


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