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 8441-8441 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 55778-55778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55777-55777
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55776-55776

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 336-336 Beaufort number eight is an immediate successor attribute of beaufort number nine
No TPTP formula. May not be expressible in strict first order. Weather.kif 342-342 Beaufort number eleven is an immediate successor attribute of beaufort number twelve
No TPTP formula. May not be expressible in strict first order. Weather.kif 330-330 Beaufort number five is an immediate successor attribute of beaufort number six
No TPTP formula. May not be expressible in strict first order. Weather.kif 328-328 Beaufort number four is an immediate successor attribute of beaufort number five
No TPTP formula. May not be expressible in strict first order. Weather.kif 338-338 Beaufort number nine is an immediate successor attribute of beaufort number ten
No TPTP formula. May not be expressible in strict first order. Weather.kif 322-322 Beaufort number one is an immediate successor attribute of beaufort number two
No TPTP formula. May not be expressible in strict first order. Weather.kif 334-334 Beaufort number seven is an immediate successor attribute of beaufort number eight
No TPTP formula. May not be expressible in strict first order. Weather.kif 332-332 Beaufort number six is an immediate successor attribute of beaufort number seven
No TPTP formula. May not be expressible in strict first order. Weather.kif 340-340 Beaufort number ten is an immediate successor attribute of beaufort number eleven
No TPTP formula. May not be expressible in strict first order. Weather.kif 326-326 Beaufort number three is an immediate successor attribute of beaufort number four
No TPTP formula. May not be expressible in strict first order. Weather.kif 324-324 Beaufort number two is an immediate successor attribute of beaufort number three
No TPTP formula. May not be expressible in strict first order. Weather.kif 320-320 BeaufortNumberZero is an immediate successor attribute of beaufort number one
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23692-23692 Cold is an immediate successor attribute of cool
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23698-23698 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 971-971 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. 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
No TPTP formula. May not be expressible in strict first order. Economy.kif 427-427 Lower middle income country is an immediate successor attribute of upper middle income country
No TPTP formula. May not be expressible in strict first order. Merge.kif 16818-16818 Non fully formed is an immediate successor attribute of fully formed
No TPTP formula. May not be expressible in strict first order. Hotel.kif 965-965 Standard room is an immediate successor attribute of deluxe room
No TPTP formula. May not be expressible in strict first order. Military.kif 358-358 US military rank e1 is an immediate successor attribute of US military rank e2
No TPTP formula. May not be expressible in strict first order. Military.kif 371-371 US military rank e2 is an immediate successor attribute of US military rank e3

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners