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 3579-3580
(documentation BinaryPredicate EnglishLanguage "A Predicate relating two items - its valence is two.") Merge.kif 3577-3578
(subclass BinaryPredicate BinaryRelation) Merge.kif 3575-3575
(subclass BinaryPredicate InheritableRelation) Merge.kif 3576-3576
(subclass BinaryPredicate Predicate) Merge.kif 3574-3574

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 25486-25486
(instance absoluteHeight BinaryPredicate) MilitaryDevices.kif 1454-1454
(instance absorbedDose BinaryPredicate) MilitaryProcesses.kif 858-858
(instance abstractCounterpart BinaryPredicate) Merge.kif 6241-6241
(instance abstractPart BinaryPredicate) Mid-level-ontology.kif 20668-20668
(instance abstractionLevel BinaryPredicate) QoSontology.kif 1613-1613
(instance accessibleFromMenu BinaryPredicate) ComputerInput.kif 674-674
(instance accessibleFromMenuItem BinaryPredicate) ComputerInput.kif 873-873
(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 16774-16774
(instance acronym BinaryPredicate) Media.kif 2999-2999
(instance actedIn BinaryPredicate) Mid-level-ontology.kif 18401-18401
(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
(instance advertisedOn BinaryPredicate) UXExperimentalTerms.kif 238-238

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 8413-8418
(=>
    (and
        (instance ?REL RelationExtendedToQuantities)
        (instance ?REL BinaryPredicate)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber)
        (?REL ?NUMBER1 ?NUMBER2))
    (forall (?UNIT)
        (=>
            (instance ?UNIT UnitOfMeasure)
            (?REL
                (MeasureFn ?NUMBER1 ?UNIT)
                (MeasureFn ?NUMBER2 ?UNIT)))))
Merge.kif 6585-6595
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))
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