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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - successorAttribute
successorAttribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1536-1537
No TPTP formula. May not be expressible in strict first order. Merge.kif 678-680
No TPTP formula. May not be expressible in strict first order. Merge.kif 675-675 The number 1 argument of successor attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 676-676 The number 2 argument of successor attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 674-674 successor attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 673-673 successor attribute is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 655-655 sub attribute and successor attribute are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order. english_format.kif 331-331
No TPTP formula. May not be expressible in strict first order. Merge.kif 697-697 successor attribute closure is internally related to successor attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 8495-8495 successorClass is internally related to successor attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 324-324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55863-55863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55862-55862
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55861-55861

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 682-689
No TPTP formula. May not be expressible in strict first order. Merge.kif 704-706

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 373-373 Beaufort number 0 is an immediate successor attribute of Beaufort number 1
No TPTP formula. May not be expressible in strict first order. Weather.kif 382-382 Beaufort number 1 is an immediate successor attribute of Beaufort number 2
No TPTP formula. May not be expressible in strict first order. Weather.kif 464-464 Beaufort number 10 is an immediate successor attribute of Beaufort number 11
No TPTP formula. May not be expressible in strict first order. Weather.kif 473-473 Beaufort number 11 is an immediate successor attribute of Beaufort number 12
No TPTP formula. May not be expressible in strict first order. Weather.kif 391-391 Beaufort number 2 is an immediate successor attribute of Beaufort number 3
No TPTP formula. May not be expressible in strict first order. Weather.kif 401-401 Beaufort number 3 is an immediate successor attribute of Beaufort number 4
No TPTP formula. May not be expressible in strict first order. Weather.kif 410-410 Beaufort number 4 is an immediate successor attribute of Beaufort number 5
No TPTP formula. May not be expressible in strict first order. Weather.kif 419-419 Beaufort number 5 is an immediate successor attribute of Beaufort number 6
No TPTP formula. May not be expressible in strict first order. Weather.kif 428-428 Beaufort number 6 is an immediate successor attribute of Beaufort number 7
No TPTP formula. May not be expressible in strict first order. Weather.kif 437-437 Beaufort number 7 is an immediate successor attribute of Beaufort number 8
No TPTP formula. May not be expressible in strict first order. Weather.kif 446-446 Beaufort number 8 is an immediate successor attribute of Beaufort number 9
No TPTP formula. May not be expressible in strict first order. Weather.kif 455-455 Beaufort number 9 is an immediate successor attribute of Beaufort number 10
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21921-21921 Cold is an immediate successor attribute of cool
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21927-21927 Cool is an immediate successor attribute of warm
No TPTP formula. May not be expressible in strict first order. Economy.kif 512-512 Country in transition is an immediate successor attribute of advanced economy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 979-979 Deluxe room is an immediate successor attribute of suite
No TPTP formula. May not be expressible in strict first order. Economy.kif 511-511 Developing country is an immediate successor attribute of country in transition
No TPTP formula. May not be expressible in strict first order. Weather.kif 2143-2143 EF0 is an immediate successor attribute of EF1
No TPTP formula. May not be expressible in strict first order. Weather.kif 2151-2151 EF1 is an immediate successor attribute of EF2
No TPTP formula. May not be expressible in strict first order. Weather.kif 2159-2159 EF2 is an immediate successor attribute of EF3
No TPTP formula. May not be expressible in strict first order. Weather.kif 2167-2167 EF3 is an immediate successor attribute of EF4
No TPTP formula. May not be expressible in strict first order. Weather.kif 2175-2175 EF4 is an immediate successor attribute of EF5
No TPTP formula. May not be expressible in strict first order. Economy.kif 187-187 Former soviet or eastern european country is an immediate successor attribute of developed country
No TPTP formula. May not be expressible in strict first order. Economy.kif 209-209 Less developed country is an immediate successor attribute of former soviet or eastern european country
No TPTP formula. May not be expressible in strict first order. Economy.kif 426-426 Low income country is an immediate successor attribute of lower middle income country

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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