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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsRight
holdsRight

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3893-3894
No TPTP formula. May not be expressible in strict first order. Merge.kif 17181-17183
No TPTP formula. May not be expressible in strict first order. Merge.kif 17179-17179 The number 1 argument of holds right is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17180-17180 The number 2 argument of holds right is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17178-17178 holds right is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17177-17177 holds right is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order. english_format.kif 124-124
No TPTP formula. May not be expressible in strict first order. Merge.kif 17201-17201 holds obligation is internally related to holds right
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28356-28356
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 124-124
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28355-28355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28354-28354

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13570-13576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13561-13568
No TPTP formula. May not be expressible in strict first order. Government.kif 719-724
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 535-547
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2795-2807
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2677-2693
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. Merge.kif 17193-17195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16734-16736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15537-15543


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