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 16271-16273
No TPTP formula. May not be expressible in strict first order. Merge.kif 16269-16269 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 16270-16270 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 16268-16268 holds right is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16267-16267 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 16291-16291 holds obligation is internally related to holds right
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28352-28352
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 28351-28351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28350-28350

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10881-10887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10872-10879
No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
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 2728-2740
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2610-2626
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 16283-16285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13898-13900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12794-12800


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