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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryPredicate
QuaternaryPredicate(Predicado Quaternario)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2015-2016
No TPTP formula. May not be expressible in strict first order. Merge.kif 3505-3506
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 655-656
No TPTP formula. May not be expressible in strict first order. Merge.kif 3503-3503 Predicado Quaternario e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3501-3501 Predicado Quaternario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order. Merge.kif 3502-3502 Predicado Quaternario e' uma sub-classe de Relacao Quaternaria

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2087-2087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2086-2086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2085-2085
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14087-14087 agreementClause e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29798-29798 beforeOnPath e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Merge.kif 4173-4173 betweenOnPath e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Dining.kif 912-912 capabilityDuring e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2727-2727 capableAtLocation e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Government.kif 4407-4407 chiefOfDiplomaticMission e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Geography.kif 645-645 comparativeArea e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Medicine.kif 223-223 concentration e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Government.kif 4419-4419 diplomaticRepresentativeInRole e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Economy.kif 2025-2025 electricityFractionFromSourceInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Economy.kif 2518-2518 exportPartnerByFractionInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Economy.kif 2488-2488 exportPartnerByRankInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2963-2963 grossMerchandiseBoughtInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2992-2992 grossMerchandiseSoldInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Economy.kif 2711-2711 importPartnerByFractionInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Economy.kif 2681-2681 importPartnerByRankInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Economy.kif 1385-1385 laborForceFractionByOccupationInPeriod e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16990-16990 monetaryWage e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Justice.kif 30-30 observedAtTimeInPlace e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Catalog.kif 197-197 priceRange e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Catalog.kif 326-326 publishedPrice e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order. Catalog.kif 447-447 rentalPrice e' uma instancia de Predicado Quaternario

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3508-3510


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