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

Formal Language: 



KB Term:  Term intersection
English Word: 

  parent

 Sigma KEE - parent
parent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3689-3690
No TPTP formula. May not be expressible in strict first order. Merge.kif 16389-16391
No TPTP formula. May not be expressible in strict first order. Merge.kif 16387-16387 Le nombre 1 argument de parent est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16388-16388 Le nombre 2 argument de parent est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16384-16384 parent est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 16382-16382 parent est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 16385-16385 parent est une instance de relation intransitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 16386-16386 parent est une instance de relation total

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 523-523
No TPTP formula. May not be expressible in strict first order. english_format.kif 528-528
No TPTP formula. May not be expressible in strict first order. french_format.kif 309-309
No TPTP formula. May not be expressible in strict first order. relations-it.txt 209-209
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2077-2077
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 261-261
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 315-315
No TPTP formula. May not be expressible in strict first order. relations-de.txt 680-680
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 247-247
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 330-330
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 337-337
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 400-400
No TPTP formula. May not be expressible in strict first order. Merge.kif 16459-16459 daughter est une sous-relation de parent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16470-16470 son est une sous-relation de parent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44430-44430
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 524-524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44429-44429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44428-44428
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 401-401

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10385-10391
No TPTP formula. May not be expressible in strict first order. Merge.kif 16515-16519
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 23026-23030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23032-23036
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. Hotel.kif 1890-1900
No TPTP formula. May not be expressible in strict first order. Merge.kif 16401-16406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23185-23201
No TPTP formula. May not be expressible in strict first order. Merge.kif 16493-16501
No TPTP formula. May not be expressible in strict first order. Merge.kif 16503-16507
No TPTP formula. May not be expressible in strict first order. Merge.kif 16393-16395
No TPTP formula. May not be expressible in strict first order. Merge.kif 16397-16399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 413-415

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23045-23050 aunt Woman and humain humain sister Woman and humain humain est un parent de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23136-23141 uncle Man and humain humain brother Man and humain humain est un parent de humain
No TPTP formula. May not be expressible in strict first order. Merge.kif 10338-10343
No TPTP formula. May not be expressible in strict first order. Merge.kif 16503-16507
No TPTP formula. May not be expressible in strict first order. Merge.kif 16313-16321
No TPTP formula. May not be expressible in strict first order. Merge.kif 16323-16330
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. Mid-level-ontology.kif 23082-23087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23094-23099
No TPTP formula. May not be expressible in strict first order. Merge.kif 16418-16421
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1872-1881
No TPTP formula. May not be expressible in strict first order. Merge.kif 16427-16429


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