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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryPredicate

Sigma KEE - BinaryPredicate
BinaryPredicate

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


(documentation BinaryPredicate ChineseLanguage "这是一个联系两个项目的 Predicate - 它的配价是二。") Merge.kif 3566-3567
(documentation BinaryPredicate EnglishLanguage "A Predicate relating two items - its valence is two.") Merge.kif 3564-3565
(subclass BinaryPredicate BinaryRelation) Merge.kif 3562-3562
(subclass BinaryPredicate InheritableRelation) Merge.kif 3563-3563
(subclass BinaryPredicate Predicate) Merge.kif 3561-3561

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


(format EnglishLanguage BinaryPredicate "%2 is %n a binary predicate of %1") domainEnglishFormat.kif 80-80
(instance abbreviation BinaryPredicate) Mid-level-ontology.kif 25406-25406
(instance absoluteHeight BinaryPredicate) MilitaryDevices.kif 1454-1454
(instance absorbedDose BinaryPredicate) MilitaryProcesses.kif 858-858
(instance abstractCounterpart BinaryPredicate) Merge.kif 6228-6228
(instance abstractPart BinaryPredicate) Mid-level-ontology.kif 20637-20637
(instance abstractionLevel BinaryPredicate) QoSontology.kif 1597-1597
(instance accessibleFromMenu BinaryPredicate) ComputerInput.kif 723-723
(instance accessibleFromMenuItem BinaryPredicate) ComputerInput.kif 922-922
(instance accommodationProvider BinaryPredicate) Hotel.kif 2695-2695
(instance accountAt BinaryPredicate) FinancialOntology.kif 229-229
(instance accountAtSite BinaryPredicate) UXExperimentalTerms.kif 772-772
(instance accountHolder BinaryPredicate) FinancialOntology.kif 248-248
(instance accountNumber BinaryPredicate) FinancialOntology.kif 3326-3326
(instance accountStatus BinaryPredicate) FinancialOntology.kif 3834-3834
(instance accruedInterest BinaryPredicate) FinancialOntology.kif 2223-2223
(instance acquaintance BinaryPredicate) Merge.kif 16722-16722
(instance acronym BinaryPredicate) Media.kif 2999-2999
(instance actedIn BinaryPredicate) Mid-level-ontology.kif 18343-18343
(instance activePolicy BinaryPredicate) TravelPolicies.kif 168-168
(instance activityCapability BinaryPredicate) Hotel.kif 560-560
(instance adjacentOrientation BinaryPredicate) Hotel.kif 898-898
(instance administrativeCenter BinaryPredicate) Government.kif 370-370
(instance administrator BinaryPredicate) FinancialOntology.kif 3848-3848
(instance administratorStatus BinaryPredicate) FinancialOntology.kif 3854-3854

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain contraryAttributeWRT 3 BinaryPredicate) ComputerInput.kif 19-19

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


(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))
Merge.kif 8396-8401
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))
Merge.kif 3569-3571


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