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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryPredicate

Sigma KEE - BinaryPredicate
BinaryPredicate(binary predicate)binary_predicate, 二元谓语

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3579-3580
No TPTP formula. May not be expressible in strict first order. Merge.kif 3577-3578
No TPTP formula. May not be expressible in strict first order. Merge.kif 3575-3575 Binary predicate is a subclass of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3576-3576 Binary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3574-3574 Binary predicate is a subclass of predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 80-80
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25486-25486 abbreviation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1454-1454 absolute height is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 858-858 absorbed dose is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 6241-6241 abstractCounterpart is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20668-20668 abstract part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1613-1613 abstraction level is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 674-674 accessibleFromMenu is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 873-873 accessibleFromMenuItem is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2695-2695 accommodations provider is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 229-229 account at is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 772-772 account at site is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 248-248 account holder is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3326-3326 account number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3834-3834 account status is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2223-2223 accrued interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16774-16774 acquaintance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 2999-2999 acronym is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18401-18401 actedIn is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 560-560 activity capability is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 898-898 adjacent orientation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 370-370 administrative center is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3848-3848 administrator is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3854-3854 administrator status is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 238-238 advertised on is an instance of binary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 19-19 The number 3 argument of contraryAttributeWRT is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8413-8418
No TPTP formula. May not be expressible in strict first order. Merge.kif 6585-6595
No TPTP formula. May not be expressible in strict first order. Merge.kif 3582-3584


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners