No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 177-177 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 178-178 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 108-108 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 235-235 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1937-1937 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 60-60 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 72-72 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 223-223 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 273-273 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 127-127 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 113-113 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 427-427 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1617-1617 |
abstractionLevel est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1719-1719 |
attribute est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1514-1514 |
complexity est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1373-1373 |
designPattern est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 459-459 |
environmentAttributes est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1470-1470 |
formOfAdaptation est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1731-1731 |
manner est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17301-17301 |
modalAttribute est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25575-25575 |
shape est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 796-796 |
status est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1553-1553 |
strictness est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1342-1342 |
systemBehavior est une sous-relation de property |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |