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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15243-15245
No TPTP formula. May not be expressible in strict first order. Merge.kif 15241-15241 The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15242-15242 The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15238-15238 parent is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15236-15236 parent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15239-15239 parent is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15240-15240 parent is an instance of total valued relation

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 531-531
No TPTP formula. May not be expressible in strict first order. Merge.kif 15313-15313 daughter is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15324-15324 son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44407-44407
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 44406-44406
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44405-44405

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9808-9814
No TPTP formula. May not be expressible in strict first order. Merge.kif 15369-15373
No TPTP formula. May not be expressible in strict first order. Merge.kif 15363-15367
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19464-19468
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19470-19474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19458-19462
No TPTP formula. May not be expressible in strict first order. Merge.kif 15262-15270
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1852-1862
No TPTP formula. May not be expressible in strict first order. Merge.kif 15255-15260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19623-19639
No TPTP formula. May not be expressible in strict first order. Merge.kif 15347-15355
No TPTP formula. May not be expressible in strict first order. Merge.kif 15357-15361
No TPTP formula. May not be expressible in strict first order. Merge.kif 15247-15249
No TPTP formula. May not be expressible in strict first order. Merge.kif 15251-15253

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19483-19488 A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19574-19579 The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human
No TPTP formula. May not be expressible in strict first order. Merge.kif 9761-9766
No TPTP formula. May not be expressible in strict first order. Merge.kif 15357-15361
No TPTP formula. May not be expressible in strict first order. Merge.kif 15167-15175
No TPTP formula. May not be expressible in strict first order. Merge.kif 15177-15184
No TPTP formula. May not be expressible in strict first order. Merge.kif 15298-15300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19520-19525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19532-19537
No TPTP formula. May not be expressible in strict first order. Merge.kif 15272-15275
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1834-1843
No TPTP formula. May not be expressible in strict first order. Merge.kif 15281-15283


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