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
(subclass BinaryPredicate InheritableRelation) Merge.kif 3576-3576 二元谓语InheritableRelationsubclass
(subclass BinaryPredicate Predicate) Merge.kif 3574-3574 二元谓语谓语subclass

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 abbreviation二元谓语instance
(instance absoluteHeight BinaryPredicate) MilitaryDevices.kif 1454-1454 absoluteHeight二元谓语instance
(instance absorbedDose BinaryPredicate) MilitaryProcesses.kif 858-858 absorbedDose二元谓语instance
(instance abstractCounterpart BinaryPredicate) Merge.kif 6241-6241 abstractCounterpart二元谓语instance
(instance abstractPart BinaryPredicate) Mid-level-ontology.kif 20668-20668 abstractPart二元谓语instance
(instance abstractionLevel BinaryPredicate) QoSontology.kif 1613-1613 abstractionLevel二元谓语instance
(instance accessibleFromMenu BinaryPredicate) ComputerInput.kif 674-674 accessibleFromMenu二元谓语instance
(instance accessibleFromMenuItem BinaryPredicate) ComputerInput.kif 873-873 accessibleFromMenuItem二元谓语instance
(instance accommodationProvider BinaryPredicate) Hotel.kif 2695-2695 accommodationProvider二元谓语instance
(instance accountAt BinaryPredicate) FinancialOntology.kif 229-229 accountAt二元谓语instance
(instance accountAtSite BinaryPredicate) UXExperimentalTerms.kif 772-772 accountAtSite二元谓语instance
(instance accountHolder BinaryPredicate) FinancialOntology.kif 248-248 accountHolder二元谓语instance
(instance accountNumber BinaryPredicate) FinancialOntology.kif 3326-3326 accountNumber二元谓语instance
(instance accountStatus BinaryPredicate) FinancialOntology.kif 3834-3834 accountStatus二元谓语instance
(instance accruedInterest BinaryPredicate) FinancialOntology.kif 2223-2223 accruedInterest二元谓语instance
(instance acquaintance BinaryPredicate) Merge.kif 16774-16774 acquaintance二元谓语instance
(instance acronym BinaryPredicate) Media.kif 2999-2999 acronym二元谓语instance
(instance actedIn BinaryPredicate) Mid-level-ontology.kif 18401-18401 actedIn二元谓语instance
(instance activityCapability BinaryPredicate) Hotel.kif 560-560 activityCapability二元谓语instance
(instance adjacentOrientation BinaryPredicate) Hotel.kif 898-898 adjacentOrientation二元谓语instance
(instance administrativeCenter BinaryPredicate) Government.kif 370-370 administrativeCenter二元谓语instance
(instance administrator BinaryPredicate) FinancialOntology.kif 3848-3848 administrator二元谓语instance
(instance administratorStatus BinaryPredicate) FinancialOntology.kif 3854-3854 administratorStatus二元谓语instance
(instance advertisedOn BinaryPredicate) UXExperimentalTerms.kif 238-238 advertisedOn二元谓语instance

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 contraryAttributeWRT 的 3 数量 是 二元谓语instance

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